|
Thank you for tip! And your hacks, they
are very useful.
I'll try use Projects instead of Sessions, however this plugin
doesn't provide functions what I want and wrote about.
In source of Restore tabs plugin I didn't find a code for saving
window state. I suppose, that gEdit has native mechanism which
remember last size of window and panels. Restoring configuration
for each project separately would be much better, maybe authors of
Projects Manager can add that small function...
On 09/05/2012 07:45 PM, Rubén Caro wrote:
There's a small plugin that does exactly that. It's
called 'Restore Tabs'. I found it here https://live.gnome.org/Gedit/Plugins
I'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
|
