Re: [gedit-list] Session Saver plugin issues

[Jeffery To <jeffery to gmail com>]

Thanks Nacho - a GitHub repo would be the easiest way to go. I'll report back when there is progress (hopefully soon).

Jeff

On Tue, Apr 30, 2013 at 2:14 PM, Ignacio Casal Quinteiro <nacho resa gmail com> wrote:

Hi Jeffery,

yeah we dropped the plugin because nobody was actually maintaining it anymore.

If you feel like it we would be glad that you create i.e a github repository with it

fix it and improve it. Once you think it is ready you could ping us to get it back into
the gedit-plugins repository.

Regards.

On Tue, Apr 30, 2013 at 6:43 AM, Jeffery To <jeffery to gmail com> wrote:

Hello gedit folks,

Just noticed that the Session Saver plugin was dropped[1] back in Nov 2012. I like this plugin and I'd like to try to fix it. Is there a list of issues somewhere (or should I just try it with gedit 3.8 / Python 3 and it will be obvious)? I found one issue in bugzilla[2], but it looks like a list of improvements only and the patch is 3 years old.

Best regards,
Jeff

[1] https://git.gnome.org/browse/gedit-plugins/commit/?id=7abf46cf9c6e3f12798e813ffeac28e3594167f0
[2] https://bugzilla.gnome.org/show_bug.cgi?id=616323

_______________________________________________
gedit-list mailing list
gedit-list gnome org
https://mail.gnome.org/mailman/listinfo/gedit-list

--
Ignacio Casal Quinteiro