Verve-plugin and hidden panels

[Nikolas Arend]

Hi,

another verve-plugin thing... I tried to run it in an auto-hidden panel. 
When calling verve-focus, the plugin receives focus and all, but the 
panel doesn't unhide. I don't know if that's intentional, but IMHO it'd 
be good to unhide the respective panel, letting the user see what he 
types and launches ;-) If that's possible, of course...

Best,   Nick.