[ jEdit-devel ] InfoNode and jEdit

[Romain F. <rom...@db...>]

Hello,

I have just pushed the initial version of the "InfoNodePlugin" plugin to 
the svn repository. The plugin is an info node based implementation of 
the flexible docking window manager (the "DockingFrameworkProvider" 
service).

It is still very rough and probably under use info node's capabilities, 
but it is I think a good start.

 From this experiment, I'd like to request that dockable are associated 
with icons (declared in the property file of the corresponding plugin) 
so that the user can choose to display icons only, text only or icons 
and text. I could do this in this plugin specifically but I think this 
is much better to have this available to other implementations 
(DockingFrames, MyDoggy, Original, ...)

Romain

-- 
Romain Francois
Independent R Consultant
+33(0) 6 28 91 30 30
http://romainfrancois.blog.free.fr