Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
via ~/.gtkrc-2.0
c'est comme suit:
# ~/.gtkrc-2.0
gtk-can-change-accels = 1 gtk-icon-theme-name = "Faenza-Dark" gtk-theme-name = "Zukitwo" style "user-font" { font_name="Terminus 12" } widget_class "*" style "user-font" gtk-font-name = "Terminus 12"
Avec gtk 3.0, ça a changé. Editer le fichier ~/.config/gtk-3.0/settings.ini
dans le style:
[Settings] gtk-application-prefer-dark-theme = false gtk-theme-name = Zukitwo gtk-fallback-icon-theme = gnome gtk-icon-theme-name = Faenza-Dark gtk-font-name = Terminus 12
Pour éviter des mélis-mélos avec vos thèmes, préférez utliser le meme theme pour gtk2 et gtk3.
https://coderwall.com/p/no3qfa/setting-gtk2-and-gtk3-theme-via-config-file
Placez vos thèmes dans : /home/utilisateur/.themes