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

[Alan E. <ala...@gm...>]

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.
>>