Re: [ jEdit-devel ] ANNOUNCE: SqlPlugin v 0.95

[Marcelo V. <mar...@po...>]

Doug wrote:
> One simple implementation I can envision would provide a core method 
> something like getCurrentSessionName().  If no Session/Project-switching 
> plugin is installed, this will always return a default string such as 
> "default" or "global" or even an empty string.  Those "session" plugins 
> could either register themselves with this core capability, or simply 
> call a corresponding setCurrentSessionName() method.

	Building on your suggestions, the EditPlugin class could be extended to 
have one more method:

	createOptionPanes(String context, OptionsDialog optionsDialog)

	This would be implemented by plugins that have context-aware 
properties; and plugins that provide an interface for that could easily 
get the panes.

	jEdit's option pane would pass "global" or null as the "context" 
parameter. Other plugins would pass the name of the context (e.g., the 
name of a project in ProjectViewer).

	This would really be nice, and would fix the way I'm doing it today in 
PV, which is kinda clunky unless the plugin has a dependency on PV.

-- 
Marcelo Vanzin
mar...@po...
"Life is too short to drink cheap beer"