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.
-
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
-
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/
-
Open or restart gedit.
-
Activate the plugin through the Plugins tab in the Edit > Preferences dialog.
Copyright © 2006 Steve Frécinaux
GNU GPLv2. See the COPYING file.
Code available on Github at https://github.com/RabidCicada/gedit-sessionsaver