Publicité
Homme de fer
Iron Man est une palette de couleurs pour Gedit. ...
Plugin en latex pour GEDIT
Compiler les documents en latex dans GEDIT ...
Nautilus scripts pack mini
Nautilus Scripts Pack Mini est un script Nautilus avec des scripts simples et très utiles: ...
gedit
Editeur de texte officiel de l'environnement de bureau GNOME. ...
gedit-plugins
Les plugins GEDIT sont un ensemble de plugins pour Gedit. ...
Plugin GEDIT Latex
peut être utilisé dans l'éditeur GNOME (GEDIT) pour vous aider à modifier les documents de latex. ...
bzr-gedit
BZR-GEDIT est un plugin GEDIT pour Bazar. ...
Gedit-plugins-extra
Gedit-plugins-Extra est un ensemble non officiel de plugins pour Gedit. ...
Plugin de navigateur Symbole Gedit
Le plug-in Browser Gedit Symbole est un plug-in Navigateur de symboles basé sur CTAGS pour Gedit, l'éditeur de texte GNOME. ...
Plugins de développeur GEDIT
Caractéristiques de la modification, de la vérification et de la gestion de projet pour l'éditeur de texte GEDIT ...
plugins gedit Formatage du texte mise en page vérification de la syntaxe
Plugin Gedit Navigator
Navigation de fichiers de code source et ajoutez des signets à Gedit ...
Gedit-Code-Assistance
Un plugin GEDIT qui fournit une assistance d'assistance du code via GNOME-Code-Assistance ...