Comment redimensionner les polices?
Après la mise à niveau vers 12.04, mes polices sont maintenant énormes. Le seul moyen que j'ai trouvé pour le résoudre est d'exécuter la commande suivante après le démarrage:
$ Sudo gnome-settings-daemon
** (process:3299): WARNING **: GDBus.Error:org.freedesktop.DBus.Error.ServiceUnknown: The name org.gnome.SessionManager was not provided by any .service files
** (gnome-settings-daemon:3285): WARNING **: Unable to register client: GDBus.Error:org.freedesktop.DBus.Error.ServiceUnknown: The name org.gnome.SessionManager was not provided by any .service files
** (gnome-settings-daemon:3285): WARNING **: Failed to get session for pid: GDBus.Error:org.freedesktop.ConsoleKit.Manager.GeneralError: Unable to lookup session information for process '3285'
** (gnome-settings-daemon:3285): WARNING **: Failed to get session for pid: GDBus.Error:org.freedesktop.ConsoleKit.Manager.GeneralError: Unable to lookup session information for process '3285'
(gnome-settings-daemon:3285): color-plugin-WARNING **: failed to get edid: unable to get EDID for output
[1335525273,000,xklavier.c:xkl_engine_start_listen/] The backend does not require manual layout management - but it is provided by the application
(gnome-settings-daemon:3285): libappindicator-CRITICAL **: app_indicator_set_label: assertion `IS_APP_INDICATOR (self)' failed
(gnome-settings-daemon:3285): color-plugin-WARNING **: unable to get EDID for xrandr-default: unable to get EDID for output
(gnome-settings-daemon:3285): color-plugin-WARNING **: failed to reset xrandr-default gamma tables: gamma size is zero
Quelqu'un peut-il aider à résoudre ce problème?
pdate 2: J'ai le même problème dans l'unité
Mise à jour 1: Capture d'écran jointe:
pdate Pour le suivi, je n'ai jamais trouvé de solution et j'ai fini par tout réinstaller
Essayez d'installer gnome-Tweak-tool via le terminal:
Sudo apt-get install gnome-Tweak-tool
Commencez ensuite avec
gnome-Tweak-tool
sur le terminal et accédez aux paramètres de police. Réglez les polices sur "Ubuntu" avec une taille de police "11" et pour les titres de fenêtres "Ubuntu Bold".
Soit dit en passant: ce que vous décrivez devrait être un bogue, mais avec cette solution de contournement, vous pouvez définir vos polices par défaut.