Re: [ jEdit-users ] About plugin menu

[Matthew P. <mr...@sa...>]

This is an issue with the 'buffers' menu as well - if you have loads of buffers
open then the menu opens up and off the top of the screen.

Matthew

Federico Silva wrote:

> Hi all,
>                 I'd like the plugin developers to be aware that the plugins
> menu, if someone uses many plugins and it reaches the end of the screen,
> opens to the top of the screen making it unusable. For that reason I would
> suggest that, for example jIndex not use 2 items but one menu-item with 2
> sub items. But this is only a temporary solution you will get to the limit
> again as new useful pluginsare develpoed.
>
>  I don't know if this happens to other people, but if this is the case, a
> solution should be thought. I think that grouping could be a good solution.
>
> BTW, the Help menu with its own menuitems + plugins menuitems is just
> unusable ( opens to and past the top of the screen ) long before the plugins
> menu.
>
> All this makes one select very carefully the plugins, and discourages using
> new probably cool plugins because its a pain installing and un-installing
> some plugin for one eventual use.
>
> -F.
>
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> http://lists.sourceforge.net/mailman/listinfo/jedit-users

--
Joon: You're out of your tree
Sam:  It wasn't my tree
                                                 (Benny & Joon)