Firefox et les extensions gnome-shell
Le site des extensions gnome-shell permet d'installer des extensions directement depuis Firefox via un plugin. Sauf qu'un bug javascript m'a empêché de l'utiliser pendant quelques jours...
Code, science & musings
Le site des extensions gnome-shell permet d'installer des extensions directement depuis Firefox via un plugin. Sauf qu'un bug javascript m'a empêché de l'utiliser pendant quelques jours...
Je n'ai pas connaissance d'un éditeur de texte qui puisse parser les fichiers css pour en ressortir un outline. Avec le plugin WikiOutline, je peux enfin parcourir mes feuilles de styles rapidement.

C'est une difficulté à laquelle je suis confronté par l'utilisation de plus en plus intensive du logiciel : la gestion des plugins de Gedit, surtout si on la compare à celle d'autres logiciels comme Firefox.
Plugin pour visualiser la hiérarchie d'un document écrit à l'aide d'une syntaxe wiki type markdown.
Petit script bash permettant d'automatiser l'installation d'un plugin Gedit 3.
Ce plugin pour le CMS PluXml permet d'utiliser WYMeditor pour éditer les articles.
PluXml-UrlRewriting est un bout de code écrit au boulot pour un projet particulier, base d'un plugin PluXml permettant de gérer des urls plus classiques que ce que propose le CMS par défaut.
JsValidator est un plugin pour l'éditeur de texte Gedit qui permet de valider la syntaxe d'un fichier javascript grâce à JSLint.
ScratchTab est un plugin pour Gedit 3 permettant d'avoir à disposition une feuille de brouillon dans le panneau latéral ou inférieur du logiciel.
DOTZLER, Aza. why do they think this is OK?. Asa Dotzler: Firefox and more, . Aza Dotzler se plaint du fait que certains logiciels installent des plugins dans Firefox sans avertir l'utilisateur, et il a 1000 fois raison !