An idea I want to discuss
With recent reorganization of "Enabled" directive, there is
one bug left: it is impossible to configure settings
for non-loaded plugin - [Configure plugin] button is grayed out
for them.
Here is why:
we determine whether a plugin has configure dialog by looking
at plugin_info["GTKBuilder"], if it is != "", then we load that file
and we have a GUI dialog.
Problem is, a non-loaded plugin always has plugin_info["GTKBuilder"] ==
""
Proposed solution:
(1) move lib/Plugins/*.GTKBuilder to src/GUI/
(2) do not check plugin_info["GTKBuilder"] (in fact, we can nuke it altogether)
(3) instead, just check whether <plugin_name>.GTKBuilder file exists
Step (3) works even for non-loaded plugins.
Any thoughts why it might be a bad idea?
--
vda