search

ralsina / aranduka

Automatically exported from code.google.com/p/aranduka
0 stars 1 forks source link

Make the tools menu dynamic #27

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Currently the tools menu is populated on startup.
That means you don't get the plugins you enable until you restart the app.

Also, disabled plugins should probably be displayed as disabled.

Original issue reported on code.google.com by roberto.alsina on 28 Jan 2011 at 7:17

GoogleCodeExporter commented 9 years ago 
This issue was closed by revision 1af6d43ecf.

Original comment by roberto.alsina on 28 Jan 2011 at 7:37