Gedit : Favorites

Favorites est un plugin pour Gedit 3.12 et supérieur permettant de maintenir une liste hiérarchique de fichiers favoris.

présentation

Capture d'écran

Gedit favorites.

Le plugin Favorites est né au moment où j'ai migré mon poste de travail sous Gnome 3.12 et que les changements tant internes qu'externes de l'éditeur de texte Gedit ont provoqué la désactivation de certains des ses plugins, Gedit Favorites notamment. J'avais la possibilité de patcher le code comme lors du passage à la version 3.8. Les modifications étaient cependant cette fois-ci plus importantes ; j'ai donc préféré réécrire le plugin en modifiant son interface pour mieux correspondre à mes usages.

Installation

Installation manuelle

  1. Fermez Gedit s'il est ouvert.
  2. Décompressez l'archive téléchargée.
  3. Copiez le dossier favorites et le fichier favorites.plugin dans le dossier des plugins Gedit (~/.local/share/gedit/plugins/).
  4. Dans Gedit, ouvrez la fenêtre de configuration et dans l'onglet « greffons » cliquez sur l'entrée « favorites ».

Désinstallation manuelle

  1. Fermez Gedit s'il est ouvert.
  2. Ouvrez un navigateur de fichier dans le dossier des plugins Gedit (~/.local/share/gedit/plugins/).
  3. Supprimez le dossier favorites et le fichier favorites.plugin.

Utilisation

Image

Barre d'outils et outline du plugin.

Le panneau de Gedit Favorites se présente sous la forme d'une barre d'outils pour modifier la liste des favoris et d'un arbre hiérarchique qui représente son organisation. Les favoris peuvent être rangé dans une série de dossiers. Le nom des dossiers est modifiables en les sélectionnant. L'ensemble de l'arborescence est enregistrée dans un fichier xml (~/.config/gedit/favorites.xml).

Boutons de la barre d'outils

Image
Créer un dossier frère par rapport au dossier sélectionné.
Image
Créer un dossier enfant au dossier sélectionné.
Image
Supprimer la sélection courante. Si l'élément sélectionné à des enfants, ils seront aussi supprimés.
Image
Ajouter le fichier ouvert courant à la liste des favoris.

Bugs et évolutions

Bugs et évolutions

Historique

2015-04-19
  • upd Première version diffusée.
2014-04-27
  • add Première version

ressources et références

Titre
Gedit Reference Manual
Éditeur
Gnome Dev Center
Titre
Python Plugin How To for gedit 3
Éditeur
live.gnome.org
Date
Titre
Writing Plugins for gedit 3 with Python
Auteurs
  • Carrick MICAH
Éditeur
micahcarrick.com
Date
Titre
Dive Into Python
Auteurs
  • Mark PILGRIM
Éditeur
diveintopython.net
Date
Titre
The Python GTK+ 3 Tutorial
Auteurs
  • Sebastian PÖLSTERL
Éditeur
Read The Docs
Date

Licence

This work is licenced under the Creative Commons Attribution-Share Alike 3.0 (http://creativecommons.org/licenses/by-sa/3.0/)

You are free
  • to Share — to copy, distribute and transmit the work
  • to Remix — to adapt the work
Under the following conditions
  • Attribution — You must attribute the work in the manner specified by the author or licensor (but not in any way that suggests that they endorse you or your use of the work).
  • Share Alike — If you alter, transform, or build upon this work, you may distribute the resulting work only under the same, similar or a compatible license.
With the understanding that
  • Waiver — Any of the above conditions can be waived if you get permission from the copyright holder.
  • Other Rights — In no way are any of the following rights affected by the license: o Your fair dealing or fair use rights; o The author's moral rights; o Rights other persons may have either in the work itself or in how the work is used, such as publicity or privacy rights.
  • Notice — For any reuse or distribution, you must make clear to others the license terms of this work. The best way to do this is with a link to this web page (http://creativecommons.org/licenses/by-sa/3.0/).