Retourner au contenu associé (journal : Un site d'extensions pour GNOME-shell)
Posté par Jean-Yves LENHOF le 02 décembre 2011 à 16:03. En réponse au journal Un site d'extensions pour GNOME-shell. Évalué à 2.
Comme tu peux le voir ici :
http://git.gnome.org/browse/gnome-shell-extensions/tree/extensions/dock/org.gnome.shell.extensions.dock.gschema.xml.in
Tu peux changer la place du dock et changer deux ou trois petites choses.... en utilisant dconf (J'en conviens un petit menu de config aurait été encore mieux...mais bon)
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Pour changer la place du dock
Posté par Jean-Yves LENHOF . En réponse au journal Un site d'extensions pour GNOME-shell. Évalué à 2.
Comme tu peux le voir ici :
http://git.gnome.org/browse/gnome-shell-extensions/tree/extensions/dock/org.gnome.shell.extensions.dock.gschema.xml.in
Tu peux changer la place du dock et changer deux ou trois petites choses.... en utilisant dconf (J'en conviens un petit menu de config aurait été encore mieux...mais bon)