well the new plugin toolbox was a quick fix to have something cleaner in 1.1 it never was meant to stay nor to be perfect....
we could hack some stuff in there if it's not too costy, but the plan is to redo it "cleanly" for 1.2 I would personally like to move it to preferences, but that's a subject all devs don't agree on, so a satisfying solution is still to be found... On Mon, Nov 26, 2012 at 4:11 PM, Alexandre Prokoudine <[email protected]> wrote: > Hi, > > The new plugin manager is a lot cleaner. Thanks! > > However, with the amount of plugins wouldn't it make sense to add a > filter box that would use both names and tooltips to search inside? > Much like the search/filter box in GIMP's keyboard shortcuts manager. > > Alexandre Prokoudine > http://libregraphicsworld.org > > ------------------------------------------------------------------------------ > Monitor your physical, virtual and cloud infrastructure from a single > web console. Get in-depth insight into apps, servers, databases, vmware, > SAP, cloud infrastructure, etc. Download 30-day Free Trial. > Pricing starts from $795 for 25 servers or applications! > http://p.sf.net/sfu/zoho_dev2dev_nov > _______________________________________________ > darktable-devel mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/darktable-devel ------------------------------------------------------------------------------ Monitor your physical, virtual and cloud infrastructure from a single web console. Get in-depth insight into apps, servers, databases, vmware, SAP, cloud infrastructure, etc. Download 30-day Free Trial. Pricing starts from $795 for 25 servers or applications! http://p.sf.net/sfu/zoho_dev2dev_nov _______________________________________________ darktable-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/darktable-devel
