[ jEdit-devel ] [ jedit-Plugin Bugs-3528589 ] Consol Plugin Menu does not show all commands

[SourceForge.net <no...@so...>]

Plugin Bugs item #3528589, was opened at 2012-05-21 06:26
Message generated for change (Comment added) made by ezust
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3528589&group_id=588

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
>Resolution: Works For Me
Priority: 5
Private: No
Submitted By: Skeeve (ngc)
Assigned to: Nobody/Anonymous (nobody)
Summary: Consol Plugin Menu does not show all commands

Initial Comment:
I have 5 commands. 3 of them should be buttons, the other 2 justavailable by Plugins > Console > Commands.

Unfortunately my jEdit only lists commands which are active as buttons.

So I just see my 3 Button commands in the Plugins > Console > Commands menu.

If I add buttons for the missing 2 commands, I see all 5 commands in the menu.

jEdit: 4.5
Console Plugin: 4.5

----------------------------------------------------------------------

>Comment By: Alan Ezust (ezust)
Date: 2012-05-21 06:29

Message:
That's deliberate. We hide the commands you don't want to see in the
commando button list from other places too, such as the commands menu.

Why would you want to see them in the menu but not in the commando bar?


----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=565475&aid=3528589&group_id=588