 | gedit-plugins.GEDIT-PLUGIN è un insieme di plugin per GEDIT. |
| Scarica ora | |
gedit-plugins. Classifica e riepilogo
Annuncio pubblicitario
- Licenza:
- GPL
- Prezzo:
- FREE
- Nome editore:
- Steve Frécinaux and Jesse van den Kieboom
- Sito web dell'editore:
- http://www.gnome.org/projects/gedit/
gedit-plugins. Tag
gedit-plugins. Descrizione
GEDIT-Plugins è un insieme di plugin per GEDIT. GEDIT-Plugins è un insieme di plugin per GEDIT.Installation: per il momento, devi ./configure con --Prefix = stesso prefisso con cui hai configurato GEDIT con.Come scegliere quali plug-in da costruire: ./ Configura -Plugins = PL1, PL2, ... dove PL1, PL2 ... sono uno dei seguenti: BracketCompletion aggiunge automaticamente le staffe di chiusura.Charmap Inserisci caratteri speciali semplicemente cliccando su di essi. Codici di commento e blocchi di grado di codice. Colorpicker Pick A colore da una finestra di dialogo e inserire la sua rappresentazione esadecimale.joinlines Iscriviti a diverse linee o dividi lunghi.Showtabbar Aggiungi una voce di menu per mostrare / nascondere il tabbar.SmartSpaces Dimentica che non stai usando tabulazioni.Tulitare un terminale nel riquadro inferiore. Tutto Tutti i plugin sopra
gedit-plugins. Software correlato
Il dizionario danese completo
Il dizionario completo danese è un elenco di parole per il controllo ortografico dei testi danesi. ...