Search results
Description: Session Saver plugin for gedit
gedit-plugins contain a set of plugins for gedit.
This plugin enables saving and restoring a working session.
Homepage: https://wiki.gnome.org/Apps/Gedit#Plugins
copyright | Debian changelog
Other documents: