Tag: Gedit

Notes (28)

Fedora 20 et Gnome 3.12, round 2

Après le portable, j'ai décidé de migrer mon poste de travail sur Gnome 3.12 et je n'ai eu aucun problème de compatibilité de paquetage ce coup-ci. Par contre, alors que j'espérais enfin (sans trop y croire) ne pas me retrouver face à des régressions de fonctionnalités ou d'interface utilisateur, je dois encore une fois me rendre à l'évidence : les déceptions sont plus importantes que les satisfactions...

Un outil multi-fonctions ou une fonction par outil ?

Voilà un choix souvent difficile quand on souhaite améliorer l'efficacité de certaines tâches quotidiennes : soit on espère un logiciel capable de tout faire - ou presque, soit on préfère des programmes spécialisées, qui ne font qu'une chose mais le font bien. L'idéal ne serait-il pas un outil qui donne la possibilité à ses utilisateurs d'intégrer facilement l'usage d'autres logiciels, aux fonctionnalités plus ciblées ?

Outliner javascript pour Gedit

Quand on atteint une certain degré de complexité dans son code, l'assistance d'un outliner ou de l'autocomplétion devient presque indispensable. Des outils qui font encore cruellement défaut dans Gedit, notamment pour le développement web (javascript).

Articles (5)

GSettings

Depuis Gnome 3, le stockage de la configuration d'une application se fait par l'intermédiaire de GSettings, une API « agnostique » dont l'utilisation dans un plugin Gedit ou une extension Gnome-shell pose de petits problèmes car elle nécessite les droits administrateurs. Voici quelques pistes pour l'utiliser « en local ».

Projets (6)

Gedit : ScratchTab

ScratchTab est plugin pour Gedit 3.12 et supérieur qui permet de placer une feuille de brouillon dans le panneau latéral ou le panneau inférieur afin d'avoir une zone où stocker des notes, des morceaux de textes ou de simples listes de tâches à effectuer.