Re: [ jEdit-users ] Docker auto-hide in pre-16

[Ernest O. <er...@wi...>]

Sure.  The Docker plugin will auto-hide open dock items when I click  
in the text area.  It has a configuration panel that allows you to set  
dock items that will not be auto-hidden.  I have console at the bottom  
dock area, and when I save files, it runs a script in console, and  
console un-hides. I can glance down and see the result, and then when  
I click back into the text area, the console auto-hides. On the right  
dock area, I have Hypersearch.  I have Docker configured to not auto- 
hide that plugin.  So clicking in the text area does not affect  
Hypersearch if I have it open.

It's kind of a minor thing, but I like it a lot.

Thanks,

- E


On Nov 20, 2008, at 1:23 PM, Shlomy Reinstein wrote:

> Can you explain what this auto-hide feature is?
> Shlomy
>
> On Thu, Nov 20, 2008 at 6:52 PM, Ernest Obusek  
> <er...@wi...> wrote:
>> In pre-15 I used the Docker plugin to auto-hide certain docked items.
>> Is there a way to do this with the built-in docker functionality in
>> pre-16?
>>
>> Thanks,
>>
>> Ernest
>>
>>
>> -------------------------------------------------------------------------
>> This SF.Net email is sponsored by the Moblin Your Move Developer's  
>> challenge
>> Build the coolest Linux based applications with Moblin SDK & win  
>> great prizes
>> Grand prize is a trip for two to an Open Source event anywhere in  
>> the world
>> http://moblin-contest.org/redirect.php?banner_id=100&url=/
>> --
>> -----------------------------------------------
>> jEdit Users' List
>> jEd...@li...
>> https://lists.sourceforge.net/lists/listinfo/jedit-users
>>