Re: [ jEdit-users ] Plugin tidbits

[Slava P. <sp...@gj...>]

Erik Mattsson wrote:
> I have to agree with Reinout that it would be nice to be able to setup up the
> plugins through a menu item. It is more logic that you setup the plugins
> through the Plugin sub menu that under the global menu. It is often
> when trying new plugins, you have to setup up a few things, and it is a little
> tedious (not much, but.. :/ ) to go through the global options.
> But why not have them at both places, since its all panes, then it would be
> possible to have them at both places, alas and everyone are happy ;)

No, this would be very bad from an UI point of view.

> I have another caveat with the plugin menu, it is hard to find the Plugin
> manager among the other plugins, since it is built into the core (!?) then it
> would be nice to have it atop of the Plugin submenu. So ther user always know
> where it can be found, and doesnt have to look among the other plugins.
> Perhaps a seperator can seperate the Plugin manger, Plugin setup form the
> other plugins.

The plugin manager is just another plugin, so it cannot be treated
specially.

> And one last comment, it is about the Activity log menu item, wouldnt it be more
> consistent to have it under the View menu, as in View (the) Activity log ?

No, the 'View' menu contains commands for manipulating views (editor windows)
it has nothing to do with 'viewing' anything.

Slava