Debian
Debian-France
Debian-Facile
Debian-fr.org
Forum-Debian.fr
Debian ?
Communautés
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 →
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
doc:environnements:gnome:gedit [12/07/2015 18:13] milou [Installation] |
doc:environnements:gnome:gedit [14/07/2015 21:17] Slyfox [Utilisation] |
||
|---|---|---|---|
| Ligne 67: | Ligne 67: | ||
| Et décochez la case : | Et décochez la case : | ||
| Créer une copie de sauvegarde des fichiers avant l'enregistrement | Créer une copie de sauvegarde des fichiers avant l'enregistrement | ||
| - | + | ||
| - | ==== Greffons ==== | + | |
| - | Vous pouvez utiliser les ''greffons'' déjà fournis avec ''Gedit'' mais aussi en rajouter. | + | |
| - | Le paquet ''gedit-plugins'' ajoute de nombreuses possibilités notamment l'intégration d'une console dans le panneau inférieur. | + | |
| - | + | ||
| - | <code root>sudo apt-get update | + | |
| - | sudo apt-get install gedit-plugins dconf-tools</code> | + | |
| - | + | ||
| - | Pour activer un greffon, allez dans Gedit: | + | |
| - | Édition -> Préférences -> onglet Greffons | + | |
| - | + | ||
| - | Tous les greffons disponibles sont affichés, cocher pour faire votre choix. | + | |
| - | + | ||
| - | Des ''greffons'' sont proposés sur des sites tels que : | + | |
| - | + | ||
| - | * http://live.gnome.org/Gedit/Plugins (en) | + | |
| ==== Gestion des onglets ==== | ==== Gestion des onglets ==== | ||
| Ligne 90: | Ligne 74: | ||
| * Vous pouvez déplacer les onglets entre 2 fenêtres de l'éditeur. | * Vous pouvez déplacer les onglets entre 2 fenêtres de l'éditeur. | ||
| - | ==== Jeux de couleur ==== | + | ==== Gedit configurations avancées et personnalisation ==== |
| - | + | ||
| - | ''Gedit'' peut appliquer des jeux de couleur à un code source donné, pour le rendre plus agréable à lire. | + | |
| - | + | ||
| - | Il existe 4 thèmes de base. Allez dans : | + | |
| - | Édition -> Préférences -> Police et Couleurs | + | |
| - | Choisissez : | + | Pour personnaliser et améliorer d'avantage gedit, vous avez la possibilité d'activer et même d’installer de nouveaux greffons et designs pour la coloration du texte. Tout vous sera expliquez ici : [[https://debian-facile.org/doc:environnements:gnome:gedit:tp-greffon-terminal?&#installation-des-greffons|Gedit configurations avancées et personnalisation]] |
| - | Ajouter pour ajouter un nouveau jeu de couleurs. | + | |
| <note tuyau> | <note tuyau> | ||
