Re: [ jEdit-users ] Optional Plugin

[Matthieu C. <cho...@gm...>]

Hi, I just tried it, I like it but I have 2 minor bugs :
first one : the root of the global options tree do not have any text
second one : when unloading the plugin in plugin manager, it should restore
the replaced actions so the standard options dialog could be use without
restarting jEdit

Matthieu

2005/10/27, Alan Ezust <ala...@gm...>:
>
> I just added to the jedit CVS, "plugins/Optional"
>
> It combines the three option panes from jedit 4.3pre3.
>
> You still see the same Option pane depending on how you popped it up
> (global/plugin/buffer) but you can get from one to the others without
> exiting the dialog.
>
> You can download a jar of it here:
>
> http://cartan.cas.suffolk.edu/~sae/workspace/jEdit/jars/Optional.jar
>
> I still need to get the title changing working, but once that is done,
> I will release it.
>
>
> -------------------------------------------------------
> This SF.Net email is sponsored by the JBoss Inc.
> Get Certified Today * Register for a JBoss Training Course
> Free Certification Exam for All Training Attendees Through End of 2005
> Visit http://www.jboss.com/services/certification for more information
> --
> -----------------------------------------------
> jEdit Users' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-users
>