<![CDATA[Forum Ubuntu-fr.org / GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?id=745931 Thu, 31 Jan 2013 09:06:01 +0000 FluxBB <![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12406821#p12406821 Sinon, l'extension Dash to Dock permet de chosir la taille maxi des icones, la taille de la barre, ...

]]>
Thu, 31 Jan 2013 09:06:01 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12406821#p12406821
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12385101#p12385101 Merci PlapPlop, c'est exactement ce que je cherchais!
@Mojor: si on ne change pas le fichier indiqué par PlapPlop, plus on rajoute d'icônes, plus il diminue la taille de celles-ci automatiquement.

]]>
Tue, 29 Jan 2013 15:14:49 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12385101#p12385101
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12355071#p12355071 Merci pour l'info.
Je vais en faire une astuce pour mon site.

]]>
Sat, 26 Jan 2013 19:47:23 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12355071#p12355071
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12351531#p12351531
gedit /usr/share/gnome-shell/js/ui/dash.js

Cherche "iconSizes", ça devrait être ligne 600. Tu dois avoir :

let iconSizes = [ 16, 22, 24, 32, 48, 64 ];

C'est parmi ces valeurs que Gnome va choisir la taille des icônes. Il part du plus bas et grossit leur taille autant qu'il peut sans dépasser availSize (quelques lignes au-dessus). Après, tout dépend de ce que tu veux faire, les rendre plus petites ou plus grandes ?
Pour les rendre plus petites, tu peux supprimer les valeurs supérieures de la liste iconSizes. Pour les rendre plus grandes, tu peux rajouter des valeurs supérieures à 64. Mais ça doit être sacrément grand. Si jamais tu veux faire ça et que tu as beaucoup d'icônes, il est possible que availSize t'empêche d'augmenter trop la taille. Dans ces cas-là, tu peux vouloir modifier la valeur de availSize (en la multipliant par 2 par exemple). Tu peux enfin rajouter des valeurs intermédiaires à cette liste, par exemple 28, si tu veux quelque chose de vraiment précis.

PS : je n'ai jamais fait cette manip, c'est juste à vu que je te dis ça.

]]>
Sat, 26 Jan 2013 15:07:33 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12351531#p12351531
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12351301#p12351301 Ah ok, j'avais mal compris.
Je ne sais pas comment modifier la taille des icônes dans le lanceur !
L'interface les modifie automatiquement mais je pense qu'on doit pouvoir régler ça par dconf mais je ne sais pas où.

]]>
Sat, 26 Jan 2013 14:40:27 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12351301#p12351301
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12350501#p12350501 Merci Major,

mais je comprends toujours pas ce que je dois modifier pour changer la taille des icônes sur le dash (barre vertivale où sont les icônes des applications préféres). Par contre, par de problème pour modifier la taille des icônes de toutes les applications (sur la fenêtre semi-transparente qui couvre tout l'écran).
j'espère arriver à bien expliquer ce que je voudrais faire?!
Merci.

]]>
Sat, 26 Jan 2013 13:07:17 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12350501#p12350501
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12333941#p12333941 http://major.grubert.free.fr/index.php? … exposition

]]>
Thu, 24 Jan 2013 21:51:15 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12333941#p12333941
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12333021#p12333021 Bonjour,

j'ai été modifié la taille des icônes sur la page des applications en allant dans ce ficihier:  /usr/share/gnome-shell/theme/gnome-shell.css

à quelle ligne faut-il aller pour modifier aussi la taille des icônes dans le dash?

merci!

]]>
Thu, 24 Jan 2013 20:28:09 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12333021#p12333021
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12103181#p12103181 C'est quoi la question ?

]]>
Sat, 05 Jan 2013 23:56:27 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12103181#p12103181
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=12099951#p12099951 Purée !

je vois que ce post concernant les extensions de Gnome Shell intéresse vraiment beaucoup de monde wink

UP !

on est que 10 à les utiliser ou quoi ?

]]>
Sat, 05 Jan 2013 18:38:49 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=12099951#p12099951
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=10041161#p10041161 Trouvé! cool
Elle se cachait ailleurs... (désolé, j'ai pas noté où... mais peut être "application data") Une fois supprimé en mode root, rien n'avait changé, mais il faut redémarrer gnome (alt+f2 "restart") et là, nickel, il n'était plus là, et j'ai pu le réinstaller, et ca marche nickel!!! Quel plaisir!!!
smile

]]>
Mon, 16 Jul 2012 11:02:44 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=10041161#p10041161
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=10032111#p10032111 oui, chez moi ça marche, on peux désinstaller par le site (dans 'installed extension' la croix rouge a droite du nom) sauf avec les extensions installer autrement, j'ai supprimer manuellement dans usr/share...
es tu sur que ton extension est compatible avec ta version de gnome ?
essaie une recherche de fichiers avec 'media player' pour tenter de retrouver ton extension wink

]]>
Sun, 15 Jul 2012 13:45:10 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=10032111#p10032111
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=10032101#p10032101 De mon coté, la désactivation web ne semble pas fonctionner, mais bien via l'advanced settings :
1342359781.png

Comment peut-il savoir qu'il y a l'extension media player, si elle ne figure pas dans le dossier?

]]>
Sun, 15 Jul 2012 13:44:53 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=10032101#p10032101
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=10031531#p10031531 On ne peux pas les désinstaller via le site, on peux juste les désactiver

]]>
Sun, 15 Jul 2012 13:16:43 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=10031531#p10031531
<![CDATA[Réponse à : GNOME Shell Extensions]]> http://forum.ubuntu-fr.org/viewtopic.php?pid=10031371#p10031371 Nope, j'avais été voir aussi, mais elle n'y est pas non plus...

Ca marche chez vous quand vous désinstallez via le site?

]]>
Sun, 15 Jul 2012 13:09:18 +0000 http://forum.ubuntu-fr.org/viewtopic.php?pid=10031371#p10031371