Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 30/05/2018, à 20:39

aikizen

réduire la taille des icone du docker de gauche et... 18.04

bonjour,
je cherche à réduire la taille des icones de la nouvelle monture gnome3 de la 18.04 dans le gnome.shell.css

si quelqu'un peut me donner le bonne endroit pour réglé la taille en pixel.
j'ai modifier :

/* App Vault/Grid */
.icon-grid {
  spacing: 30px;
  -shell-grid-horizontal-item-size: 50px;
  -shell-grid-vertical-item-size: 50px; }
  .icon-grid .overview-icon {
    icon-size: 50px; }

merci d'avance,
cordialement,
Aiki Zen.

ps: comment on paramètre la syntax highlight sur le forum ?

Hors ligne

#2 Le 30/05/2018, à 20:45

Locky153

Re : réduire la taille des icone du docker de gauche et... 18.04

Pas besoin de faire ça. Normalement, ça se fait via Paramètres (application à chercher dans les applis...) et dans l'onglet Dock : https://linuxconfig.org/how-to-customiz … aver-linux

Hors ligne

#3 Le 30/05/2018, à 20:52

aikizen

Re : réduire la taille des icone du docker de gauche et... 18.04

oui j'ai trouvé par hazard... par contre pour les autre appli, et le alt-tab ainsi que le menu avec plein de carré ????

Hors ligne

#4 Le 30/05/2018, à 20:54

Locky153

Re : réduire la taille des icone du docker de gauche et... 18.04

Si tu pouvais être plus précis sur ce que tu veux faireexactement pour "les autres applis"(quels applis), le "alt+tab" et "menu plein de carré" (kesako ????)

Hors ligne

#5 Le 30/05/2018, à 21:04

bluc

Re : réduire la taille des icone du docker de gauche et... 18.04

Bonjour,

je te conseille d'installer l'extension Dash-to-dock qui te permettra de paramétrer le dock Ubuntu
par exemple l'icone des applis en haut , la couleur , les actions du cllic , etc...
je ne comprends pas que ce ne soit pas d'office sur Ubuntu

Les paramétrages de Dash-to-dock
image.gif

Tu voudrais aussi changer la tailles des icones dans le menu applis , je ne sais pas si c'est possible (certainement), perso je ne vois pas trop l'interet

Dernière modification par bluc (Le 30/05/2018, à 21:16)


Clevo :  Ubuntu 23.10   ❖  Xubuntu 22.10  ❖  Kubuntu 23.10   
         avec partition data commune       Une fraction de seconde                    Multiboot

Hors ligne

#6 Le 31/05/2018, à 10:32

aikizen

Re : réduire la taille des icone du docker de gauche et... 18.04

bonjour et merci pour vos réponse.

je cherche à réduire les icons qui s'affiche quand je fait alt+tab.
dans la liste des application, par le menu actionner par meta ou l'icone de toutes les application installé en bas du docker.

dash dock ne permet pas ses modification, je pense que c'est dans le gnome-shell.css
/usr/share/gnome-shell/theme/gnome-shell.css

pouvez vous également me fournir un gnome-shell.css pour que je fasse un diff, j'ai pas fait de copie du fichier original.

de plus le voudrai réduire la taille du prompt de gdm.

merci d'avance,
cordialement,
Aiki Zen.

Hors ligne

#7 Le 31/05/2018, à 11:23

bluc

Re : réduire la taille des icone du docker de gauche et... 18.04


Clevo :  Ubuntu 23.10   ❖  Xubuntu 22.10  ❖  Kubuntu 23.10   
         avec partition data commune       Une fraction de seconde                    Multiboot

Hors ligne

#8 Le 05/06/2018, à 12:09

aikizen

Re : réduire la taille des icone du docker de gauche et... 18.04

ton zip est vide...

Hors ligne

#9 Le 05/06/2018, à 12:18

cqfd93

Re : réduire la taille des icone du docker de gauche et... 18.04

Bonjour,

Non, le fichier fait 9.8 ko et il contient un fichier gnome-shell.css.


cqfd93

En ligne

#10 Le 05/06/2018, à 14:48

bluc

Re : réduire la taille des icone du docker de gauche et... 18.04

aikizen a écrit :

ton zip est vide...

Non il n'est pas vide


Clevo :  Ubuntu 23.10   ❖  Xubuntu 22.10  ❖  Kubuntu 23.10   
         avec partition data commune       Une fraction de seconde                    Multiboot

Hors ligne

#11 Le 08/06/2018, à 20:28

aikizen

Re : réduire la taille des icone du docker de gauche et... 18.04

ok je l'ai récupéré.

maintenant il me faudrait un coups de mains pour réduire la taille des icone :
* dans la fenêtre alt-tab
* dans le menu de recherche pour les application : icone avec 9 carré ou touche méta
* dans les application GTK

merci d'avance,
cordialement,
Aiki.
ps: merci de me dire comment fonctionne la fonction liste à puce...

Hors ligne