From: Philip M. <ph...@dy...> - 2001-10-27 06:22:28
|
Hi, Please excuse this stupid question (50% is because I'm a newbie, 50% = because it's very late at night - or should I say almost morning), but = how can I find the jar of a particular plugin: let's say "ABC Plugin". Now "Abc Plugin" is loaded from Abc.jar, which in turn may be installed = either in jEdit's home dir or in settings dir.=20 Knowing the name of the plugin, is there any way to get it's jar ? = jEdit.getPluginJAR seems to require a path... Thanks a lot, philip |
From: Slava P. <sl...@je...> - 2001-10-27 07:49:51
|
Hi, Try jEdit.getPlugin("ABCPlugin").getJAR(). Slava On Sat, Oct 27, 2001 at 09:24:37AM +0200, Philip Mateescu wrote: > Hi, > > Please excuse this stupid question (50% is because I'm a newbie, 50% because it's very late at night - or should I say almost morning), but how can I find the jar of a particular plugin: let's say "ABC Plugin". > Now "Abc Plugin" is loaded from Abc.jar, which in turn may be installed either in jEdit's home dir or in settings dir. > > Knowing the name of the plugin, is there any way to get it's jar ? jEdit.getPluginJAR seems to require a path... > > > Thanks a lot, > philip |
From: Philip M. <ph...@dy...> - 2001-10-29 21:54:07
|
From: "Slava Pestov" <sl...@je...> > Try jEdit.getPlugin("ABCPlugin").getJAR(). Thank, you Slava - it worked ... under certain conditions. That is if the plugin is already loaded. I'd like to do this on the start method of the plugin. At this point the trouble starts - since the plugin is not loaded YET, getPlugin("ABCPlugin") returns null even within the plugin itself. Now of course, a certain workaround would be to wait until the user calls the plugin and then do my stuff - but I don't like this option since it makes the plugin "look slow"... Any ideas ? Have any of you did it somehow in other way ? Thank you, philip |
From: Slava P. <sl...@je...> - 2001-10-30 07:07:27
|
Hi, I think you should do this initialization when the plugin is first called by the user. Plugins should not slow down startup too much. Slava On Tue, Oct 30, 2001 at 12:56:30AM +0200, Philip Mateescu wrote: > From: "Slava Pestov" <sl...@je...> > > Try jEdit.getPlugin("ABCPlugin").getJAR(). > > Thank, you Slava - it worked ... under certain conditions. That is if the > plugin is already loaded. > > I'd like to do this on the start method of the plugin. At this point the > trouble starts - since the plugin is not loaded YET, getPlugin("ABCPlugin") > returns null even within the plugin itself. > > Now of course, a certain workaround would be to wait until the user calls > the plugin and then do my stuff - but I don't like this option since it > makes the plugin "look slow"... > > Any ideas ? Have any of you did it somehow in other way ? > > Thank you, > philip > > > > > -- > ----------------------------------------------- > jEdit Developers' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-devel |