gedit session saver plugin

This is a plugin for gedit, the official text editor of the GNOME desktop environment. It’s a fork of the original gedit session saver plugin that has been dropped in gedit 3.7.1. This repository contains the ready-to-use version of this plugin that I fixed in my gedit-sessionsaver repository.

This plugin is for gedit versions 3 and above. This plugin is NOT compatible with gedit 2.x.

Python 3 is the only supported python for my adaptation (I did not port the 2.x version). The Python 3 version requires python3-gobject or python3-gi depending of your distribution.

The translation of the plugin is not available in this repository, but it is always available in the package gedit-plugins from your distribution. If this package is installed on your system, the translation should works.

Installation

1. Download the source code form this repository in zip format, in tar format or using the git clone command:

    $ git clone https://github.com/RabidCicada/gedit-sessionsaver.git
   

2. Link or copy the plugin file and the plugin directory into the gedit plugins directory :

    # link
    $ ln -s ~/gedit-sessionsaver/sessionsaver ~/.local/share/gedit/plugins/
    $ ln -s ~/gedit-sessionsaver/sessionsaver.plugin ~/.local/share/gedit/plugins/
    
    # or copy 
    $ cp gedit-sessionsaver/sessionsaver gedit-sessionsaver/sessionsaver.plugin ~/.local/share/gedit/plugins/
   

3. Open or restart gedit.

4. Activate the plugin through the Plugins tab in the Edit > Preferences dialog.

License

Copyright © 2006 Steve Frécinaux
GNU GPLv2. See the COPYING file.

Code available on Github at https://github.com/RabidCicada/gedit-sessionsaver