RE: [ jEdit-devel ] PluginHolder

[Jason G. <jg...@cs...>]

> >
> > you know how QuickFile has two little arrows on the separator?
> > one hide's the plugin and the other show's it?
> > i think that would be quicker and easier than navigating through a menu.
> >
>
> Yes.  But they are too small and never work correctly.
>
> The cool thing about show/hide (what it is called right now) is:
>
> - it hides all the the plugins Top, Bottom, Left, and Right.
> - It is a shortcut so you can bind it to a key.  I have been using this
> all the time.  This way you can run plugins but with a keystroke all of
> them and get jEdit to go full screen.
>
> Kevin


You can also bind a key to show/hide QuickFile.  Just enter a key shortcut
next to QuickFile in the shortcut table.

-Jason