renjujv/gedit-sessionsaver

The gedit session saver plugin for GNOME 3.0-3.8

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 have been dropped in gedit 3.7.1. This repository contains the ready-to-use version of this plugin that I fixed and improved in my gedit-plugins repository.

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

If python 3 is not installed or not available on your distribution, you should use the python 2.x version of this plugin. 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/sphax3d/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/sphax3d/gedit-sessionsaver