Menu
▾
▴
[ jEdit-devel ] [ jedit-Bugs-832992 ] Unloading plugin doesn't remove items from VFSBrowser menu
|
From: SourceForge.net <no...@so...> - 2003-10-30 11:46:26
|
Bugs item #832992, was opened at 2003-10-30 11:46 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=832992&group_id=588 Category: plugin manager Group: None Status: Open Resolution: None Priority: 5 Submitted By: Nicholas O'Leary (olearyni) Assigned to: Nobody/Anonymous (nobody) Summary: Unloading plugin doesn't remove items from VFSBrowser menu Initial Comment: When a plugin that defines items for the VFS Browser plugin menu is unloaded, the menu items are not removed from the browser plugin menu. Selecting the item from the menu, when the plugin has been unloaded, causes the following warning: [warning] EditAction$Wrapper: Unknown action: <action name> which is of course because the associated action has been unloaded with the plugin. The only way to get the browser menu to update was to restart jedit. Cheers, nol [message] Log: java.version=1.4.1_01 [message] Log: java.vm.version=1.4.1_01-b01 [message] Log: java.runtime.version=1.4.1_01-b01 [message] Log: java.vendor=Sun Microsystems Inc. [message] Log: java.compiler=null [message] Log: os.name=Windows XP [message] Log: os.version=5.1 [message] Log: os.arch=x86 [message] Log: user.home=C:\Documents and Settings\nol [message] Log: java.home=C:\java\j2sdk1.4.1_01\jre [message] Log: java.class.path=C:\Program Files\jEdit 4.2pre6\jedit.jar [notice] jEdit: jEdit version 4.2pre6 ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=100588&aid=832992&group_id=588 |