Bonjour !
VOila j'ai un petit soucis avec les Extensions "Places Status Indicator" et "Application Menu". J'ai les Label à la place des icones, ca prends toute la place et c'est pas beau 😃, du coup j'ai regardé dans les .js, malheureusement je me suis vite perdu ^^ d'après ce que j'ai compris les Icones sont récupérées par ce morceau de code :
...
const PlaceMenuItem = new Lang.Class({
Name: 'PlaceMenuItem',
Extends: PopupMenu.PopupBaseMenuItem,
_init: function(info) {
this.parent();
this._info = info;
this._icon = new St.Icon({ gicon: info.icon,
icon_size: PLACE_ICON_SIZE });
this.actor.add_child(this._icon);
this._label = new St.Label({ text: info.name });
this.actor.add_child(this._label);
...
EDIT:
en allant fouiller dans "/usr/share/gnome-shell/extensions/
places-menu@gnome-shell-extensions.gcampax.github.com/extension.js/" je crois qu'on pourrait ajouter une ligne après la Ligne 79 pour récupérer une icone pour "const PlacesMenu", je vois dans le script qu'on y récupère juste le label. ENfin jvais tenter des expériences en espérant ne rien casser.