Gnome shell extension
Fermé
medbo
Messages postés
551
Date d'inscription
lundi 18 avril 2005
Statut
Membre
Dernière intervention
24 mars 2019
-
14 août 2012 à 15:50
laoshu Messages postés 1231 Date d'inscription mardi 7 juin 2011 Statut Membre Dernière intervention 24 mai 2015 - 14 août 2012 à 16:16
laoshu Messages postés 1231 Date d'inscription mardi 7 juin 2011 Statut Membre Dernière intervention 24 mai 2015 - 14 août 2012 à 16:16
A voir également:
- L'extension shell du thème personnalisé n'est pas activée
- Extension dat - Guide
- Extension .bin - Guide
- Extension 7z - Guide
- Changer extension fichier - Guide
- Classic shell windows 10 français - Télécharger - Personnalisation
1 réponse
laoshu
Messages postés
1231
Date d'inscription
mardi 7 juin 2011
Statut
Membre
Dernière intervention
24 mai 2015
350
14 août 2012 à 16:16
14 août 2012 à 16:16
Bonjour,
J'ai eu le même problème il y a quelques temps après une mise à jour (Debian Sid).
Je viens de réessayer gnome-tweak-tool, et j'ai une nouvelle configuration avec plus de possibilité qu'avant... je n'ai pas encore tout regardé de près, mais il y a du progrès.
Attends un peu, la mise à jour arrivera bientôt sur Ubuntu je pense.
J'ai eu le même problème il y a quelques temps après une mise à jour (Debian Sid).
Je viens de réessayer gnome-tweak-tool, et j'ai une nouvelle configuration avec plus de possibilité qu'avant... je n'ai pas encore tout regardé de près, mais il y a du progrès.
Attends un peu, la mise à jour arrivera bientôt sur Ubuntu je pense.
