Table des matières

Gedit configurations avancées et personnalisation

Nota :

Contributeurs, les FIXME sont là pour vous aider, supprimez-les une fois le problème corrigé ou le champ rempli !

Introduction

Gedit est l'éditeur de texte de l'environnement graphique GNOME.

Dans ce Wiki nous allons voir comment personnaliser cet éditeur de texte par l'ajout de nombreux designs pour la coloration du texte via gmate et l'ajout de greffons via le paquet gedit-plugins.

Installation des greffons

Nous pouvons utiliser les greffons déjà fournis avec Gedit mais aussi en rajouter. Pour installer les greffons supplémentaires et d'autres paquets utiles pour la configuration ouvrons un Terminal et faisons un copie/coller des commandes ci-dessous:

apt-get update && apt-get install gedit gedit-plugins dconf-editor zenity

Installation des jeux de couleurs

Pour installer les jeux de couleurs supplémentaires ouvrons un Terminal et faisons un copie/coller des commandes ci-dessous:

apt-get update
apt-get install git-core
cd /tmp
git clone git://github.com/gmate/gmate.git
find /tmp/gmate/styles -type f -name "*.xml" -exec cp -v {} //usr/share/gtksourceview-3.0/styles/ \;

Activer les greffons

Pour activer un greffon.

 Menu -> Préférences -> onglet Greffons

Voici une liste non exhaustive des greffons contenus une fois le paquet gedit-plugins installé.

Plugin Action
Signets: Naviguer facilement dans vos documents avec les signets
Complétion de parenthèses: Ajouter automatiquement les parenthèses fermantes
Table de caractères: Insérer des caractères spéciaux juste en cliquant dessus
Commentateur de code: Commenter ou décommenter un bloc de code sélectionné
Sélecteur de couleurs: Choisir une couleur dans une boîte de dialogue et l'insérer sous sa forme hexadécimale
Éditeur de jeu de couleurs: Éditeur de jeu de couleurs pour le code source
Ligne de commande: Interface en ligne de commande pour l'édition avancée
Tableau de bord: Un tableau de bord pour les nouveaux onglets
Indicateur d'espaces: Indiquer les espaces et les tabulations
Git: Surligner les lignes qui ont changé depuis le dernier commit
Joindre/couper les lignes: Joindre plusieurs lignes ou séparer les longues lignes
Édition multiple: Éditer un document à plusieurs endroits en même temps
Espaces intelligents: Oubliez que vous n'utilisez pas les tabulations
SyncTeX: Synchroniser entre LaTeX et PDF avec gedit et evince
Terminal intégré: Intègre un terminal dans le panneau du bas
Taille du texte: Augmente ou diminue facilement la taille du texte
Complétion de mots: Complétion de mots, utilise la structure de complétion

D'autres greffons sont proposés sur des sites tels que :

Activer un jeu de couleurs

 Menu -> Préférences -> Police et couleurs

Greffon Terminal intégré

Le greffon Terminal intégré est fort pratique, il permet comme son nom l'indique d'intégrer un Terminal sur la partie inférieur de Gedit.

Si le Terminal intégré à Gedit n'apparaît pas au-dessous de la fenêtre principe de Gedit, nous devons alors l'activer.

Activer le greffon Terminal intégré

Menu --> Préférences --> Greffons --> Cocher la case Terminal intégré
Menu --> Affichage --> Cocher la case Panneau inférieur 

Si tout c'est bien passé le terminal intégré doit apparaître au-dessous de la fenêtre principe de Gedit.

Personnalisation et changement de couleurs du Terminal intégré à Gedit

IMPORTANT ! Si le paquet gnome-termnial est installé cette méthode risque de ne pas fonctionner, car le fichier de configuration /usr/lib/x86_64-linux-gnu/gedit/plugins/terminal.py favorise par défaut la configuration de gnome-terminal, dans ce cas là, pour changer les couleurs du Terminal intégré il faudra passer par “Changer les couleurs dans Gnome Terminal” ou “Astuces expérimentales” (voir ci-dessous). FIXME
dconf-editor
  org --> gnome --> gedit --> plugins --> terminal

Voici les divers options que nous pouvons configurer:

Option Action
allow-bold: indique si un texte gras est autorisé
audible-bell: indique s'il faut rendre muet le bip du terminal
background-color: couleur par défaut de l'arrière-plan du terminal
cursor-blink-mode: indique s'il faut faire clignoter le curseur
cursor-shape: - apparence du curseur
font: type de police
foreground-color: couleur par défaut du texte dans le terminal
palette: palette pour les applications du terminal
scroll-on-keystroke: indique s'il faut se déplacer tout en bas lorsqu'une touche est enfoncée
scrollback-on-output: indique s'il faut se déplacer tout en bas à chaque nouveau contenu
scroll-lines: nombre de lignes à conserver dans l'historique de défilement
scrollback-unlimited: indique si un nombre de lignes illimité doit être conservé dans la mémoire de défilement
use-system-font: indique s'il faut utiliser la police système
use-theme-colors: indique s'il faut utiliser les couleurs du thème pour les éléments graphiques du terminal

Une astuce pour trouver la bonne valeur couleur…

zenity --color-selection

Nous pouvons aussi remplacer le code hexadécimal directement par le nom de couleur en anglais par exemple red pour le rouge.

Exemple

Voici un exemple avec les paramètres par défaut mais avec un changement de couleurs de l'arrière-plan en noir et de l'écriture en blanc. Attention de bien décocher “use-theme-colors”.

Changer les couleurs dans Gnome Terminal

gnome-terminal
Édition → Préférences du profil → Couleurs

Astuces expérimentales

Cette partie est expérimentale, en cas de doute il est recommandé de vous abstenir.FIXME

Pour pouvoir changer les couleurs malgré la présence du paquet gnome-terminal sur le système procédons ainsi.

cd /usr/lib/x86_64-linux-gnu/gedit/plugins
cp terminal.py save_terminal.py
nano terminal.py
Extrait de terminal.py
def get_profile_settings(self):
            profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")
 
            if profiles:
                default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
                settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
                                                      default_path)
            else:
                settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")
 
            return settings
Extrait de terminal.py
def get_profile_settings(self):
            profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")
            settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")
 
            return settings

Si les couleurs du Terminal intégré ne sont pas encore pris en compte, il faudra le cas échéant suivre la partie “Personnalisation et changement de couleurs du Terminal intégré à Gedit” de ce présent wiki.

1)
N'hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !