[ jEdit-devel ] Re: [ jEdit-users ] Optional Plugin

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

ah, did some tracing, found out it's in

jEdit.addActionSet() and jEdit.removeActionSet().

If we make add() push duplicate items onto a stack, and remove() pop
them off, I think that would be a good thing. Comments?

On 10/27/05, Alan Ezust <ala...@gm...> wrote:
> > second one : when unloading the plugin in plugin manager, it should res=
tore
> > the replaced actions so the standard options dialog could be use withou=
t
> > restarting jEdit
>
> The code which replaces the built-in actions is wherever the
> actions.xml file gets loaded when the JAR is loaded. I am not sure
> where that is yet.
>
> I think that that whenever a plugin defines an action in actions.xml,
> instead of replacing it in the hashtable, the "jarLoaderFunction"
> should push the old action onto a stack, then the
> "jarUnloaderFunction" should pop off stack items if there are any,
> when it removes the unloaded plugin's actions.
>
> This would make it very easy for plugins to redefine built-in actions.
>
> I haven't found what jarLoaderFunction and jarUnloaderFunction are
> actually called yet - anyone else know?
>
>
> > 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 200=
5
> > > Visit http://www.jboss.com/services/certification for
> > more information
> > > --
> > > -----------------------------------------------
> > > jEdit Users' List
> > > jEd...@li...
> > > https://lists.sourceforge.net/lists/listinfo/jedit-users
> > >
> >
> >
>