phpdevshell team mailing list archive

[Greg <629940@xxxxxxxxxxxxxxxxxx>]

Public bug reported:

In the menu list (menu management), it would be nice that menus are
gathered by plugin, so it's easier to find the one we're looking for.

** Affects: phpdevshell
     Importance: Wishlist
     Assignee: TitanKing (titan-phpdevshell)
         Status: New


** Tags: phpds-gui

** Changed in: phpdevshell
   Importance: Undecided => Wishlist

** Changed in: phpdevshell
     Assignee: (unassigned) => TitanKing (titan-phpdevshell)

** Tags added: phpds-gui

-- 
Gather menus by plugin
https://bugs.launchpad.net/bugs/629940
You received this bug notification because you are a member of
PHPDevShell, which is subscribed to PHPDevShell.

Status in Open Source php gui type development framework.: New

Bug description:
In the menu list (menu management), it would be nice that menus are gathered by plugin, so it's easier to find the one we're looking for.