[ jEdit-users ] How to enable MyDoggy plugin

[Arto K. <art...@ma...>]

I saw this in the mailing list once, so i tried to give it a go.

But i cant figure out how to enable it. Plugin help says that i should:

    "To use MyDoggyPlugin, select Utilities->Global Options->Docking and
     select MyDoggy as the docking framework."

There is no such option in the dialog. I'm using jEdit 4.3pre16 in
Ubuntu with Java 1.6.0_07.

-- 
Arto Karppinen
------------------------------
art...@ik...