[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

gedit-plugins 3.8: dove è finito "Salva sessione"?



Per caso hanno tolto Session Saver da gedit-plugins?

Qui sembra di no:
https://wiki.gnome.org/GeditPlugins

Qui invece sembra di sì:
$ aptitude show gedit-plugins
[...]
 
 Sono inclusi i seguenti plugin: 
 * Bookmarks: facile navigazione dei documenti con segnalibri; 
 * Bracket Completion: aggiunge automaticamente le parentesi di chiusura; 
 * Character Map: inserisce caratteri speciali semplicemente cliccando su 
                 di essi;
 * Code comment: commenta o decommenta un blocco di codice selezionato; 
 * Color Picker: permette di scegliere un colore in una finestra di 
                dialogo e inserisce la sua rappresentazione esadecimale;
 * Color Scheme Editor: editor di schemi di colore del codice sorgente; 
 * Commander: interfaccia a riga di comando per la modifica avanzata; 
 * Dashboard: un cruscotto per le nuove schede; 
 * Draw Spaces: disegna spazi e tabulazioni; 
 * Git: differenze Git; 
 * Join/Split Lines: unisce diverse righe o divide righe lunghe; 
 * Multi Edit: modifica un documento in più punti contemporaneamente; 
 * Smart Spaces: si può dimenticare che non si stanno usando le 
                tabulazioni;
 * SyncTeX: sincronizzazione tra LaTeX e PDF tramite gedit ed evince; 
 * Embedded Terminal: incorpora un terminale nel pannello in basso; 
 * Text Size: aumenta e diminuisce in maniera semplice la dimensione del 
             testo;
 * Word Completion: completamento delle parole utilizzando 
                   l'infrastruttura di completamento.
Homepage: https://wiki.gnome.org/Gedit/Plugins


Anche se ad esempio il plugin Git non lo vedo..
Sono su Debian sid.

Ciao
Federico

Reply to: