Re: [gedit-list] Expanding Session Saver
- From: Rubén Caro <ruben caro estevez gmail com>
- To: Eryk <eryk piast gmail com>
- Cc: gedit-list gnome org
- Subject: Re: [gedit-list] Expanding Session Saver
- Date: Wed, 5 Sep 2012 19:45:51 +0200
There's a small plugin that does exactly that. It's called 'Restore Tabs'. I found it here
https://live.gnome.org/Gedit/PluginsI'm also a programmer and I ended using another plugin that does much more than that. It's called gedit-projects. You can take a look on my gedit plugins n hacks here
https://github.com/rubencaro/gedit_hacks.
Maybe you can find something useful.
Hope this helps.
2012/9/4 Eryk
<eryk piast gmail com>
I'm web developer and I use Gedit every day of my work. Your plugin Session Saver is very useful, but it'd be more with one tiny function - saving window state for session. Every day when I start work, I have to set up several windows. First I load session and then I must resize windows to proper size, show or hide side and bottom panels and resize them. That all for each window! It's really bored and I'll glad if this process is automated.
Probably it isn't a lot of work. I suppose, that only a few functions have to modified: for saving session and loading it. Optionally UI maybe changed - if checkbox with question "Save current window state" is needed . If I know Python and have documentation of the plugin, I could add this tiny function - but unfortunately I don't know the language, I know only web technologies like _javascript_. Could someone help me?
_______________________________________________
gedit-list mailing list
gedit-list gnome org
https://mail.gnome.org/mailman/listinfo/gedit-list
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]