 | Gedit-Plugins.GEDIT-Plugins sind ein Satz von Plugins für GEDIT. |
| Jetzt downloaden | |
Gedit-Plugins. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- GPL
- Preis:
- FREE
- Name des Herausgebers:
- Steve Frécinaux and Jesse van den Kieboom
- Website des Verlags:
- http://www.gnome.org/projects/gedit/
Gedit-Plugins. Stichworte
Gedit-Plugins. Beschreibung
Gedit-Plugins sind ein Satz von Plugins für GEDIT. Gedit-Plugins sind ein Satz von Plugins für die gedit.installation: Für den Moment müssen Sie für den Moment ./configure mit --Prefix = dasselbe Präfix, während Sie GEDIT konfiguriert haben -Plugins = PL1, PL2, ... wo PL1, PL2 ... eines der folgenden sind: BracketCompletion fügt automatisch zu schließenden Brackets hinzu. Fügen Sie Sonderzeichen ein Farbe aus einem Dialogfeld und legte seine hexadezimale Vertretung ein. Alle oben genannten Plugins
Gedit-Plugins. Zugehörige Software
djvu2pdf.
Ein kleines Skript, das .DJVU-Dateien mit dem Djvulibre-Toolset in .pdf-Dateien in .pdf-Dateien konvertiert. ...