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
