Gedit : Favorites

Présentation

Le plugin Favorites est né durant la migration sous Gnome 3.12 et que les changements tant internes qu'externes de Gedit ont provoqué la désactivation de certains 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.

À l'origine, le plugin permettait d'organiser des favoris sous forme d'arbre arbrescent. Le code a cependant planté à partir de Gnome 40. Il a donc été décidé à partir de la version 2021-10-28 de remplacer cette gestion des favoris par une simple liste de fichier :

Pour alléger le code à gérer : je n'ai plus autant de temps à consacrer à la maintenance des plugins Gedit.
Pour répondre aux besoins utilisateurs — c'est-à-dire les miens :-) : je n'ai pas / plus l'usage d'une liste hiérarchique de favoris ; une liste plate suffit.

Les anciens favoris sont récupérés lors de la première installation de cette nouvelle version.

Les personnes qui souhaitent continuer à utiliser la liste hiérarchique peuvent installer la version 2020-05-01 et corriger les bugs qui s'y trouvent.

Installation

Installation manuelle

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

Désinstallation manuelle

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

Utilisation

Le panneau « Favorites » se présente sous la forme d'une barre d'outils et d'une liste de fichiers favoris.
Le bouton « - » permet de supprimer le favoris sélectionné.
Le bouton « + » permet d'ajouter le fichier affiché en tant que favoris.
Le nom des fichiers est modifiable en le sélectionnant.
Les favoris sont enregistrés dans le fichier ~/.config/gedit/favorites.json.

Bugs et évolutions

Voir Les tickets du projet

Historique

2021-10-28

upd: Simplification de l'extension
upd: Favoris stockés au format json

2020-05-01

fix: Disparition de l'API Gedit.Document.get_location(), remplacée par Gedit.Document.get_file().get_location().

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: avril 2012

Titre: Writing Plugins for gedit 3 with Python
Auteurs: Carrick Micah
Éditeur: micahcarrick.com
Date: mai 2011

Titre: Dive Into Python
Auteurs: Mark Pilgrim
Éditeur: diveintopython.net
Date: janvier 2004

Titre: The Python GTK+ 3 Tutorial
Auteurs: Sebastian Pölsterl
Éditeur: Read The Docs
Date: mai 2013

Licence

Gedit Favorites - Plugin for Gedit to manage favorite files

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>.