Re: [ jEdit-users ] DO NOT USE DOCKER PLUGIN WITH 4.3pre16

[Shlomy R. <sre...@gm...>]

I am not really familiar with the features of the Docker plugin
because I didn't use it, except for the perspective feature, which is
now in the core. One of the users asked today about the "auto hide
dockables" feature, that I don't think exists now in the core. Maybe a
simple macro can be written to do that, I don't know.
Shlomy

On Thu, Nov 20, 2008 at 9:50 PM, Alan Ezust <ala...@gm...> wrote:
> There is no chance it will be used for any later version of jEdit.
> Why? All the features are now in the core.
>
> On Thu, Nov 20, 2008 at 12:01 AM, Matthieu Casanova
> <cho...@gm...> wrote:
>> Hi, recently I updated the plugin bundle adding the Docker. Do you think it
>> is deprecated forever so I should remove it from the externals ?
>>
>> Matthieu
>>
>> On Thu, Nov 20, 2008 at 12:50 AM, Alan Ezust <ala...@gm...> wrote:
>>>
>>> Subject says it all. The two clash. And 4.3pre16 has all the features
>>> of Docker anyway now.
>>>
>
> -------------------------------------------------------------------------
> 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
>