Re: [ jEdit-devel ] PROPOSAL: dissolve EditBus plugin?

[Dirk M. <dmo...@gm...>]

> I think life can be made easier if all the console/shell-related
> stuff was moved to the Console plugin, and error source stuff to
> the ErrorList plugin. Thoughts?

That would lead to direct plugin dependencies (JBrowse & JCompiler directly
dependant on ErrorList and so on...). Why not. The original idea of EditBus
was that there might be some plugin developers who provide alternative
implementations of an ErrorList, or Console. This proved to be nonsense.

What about msg.ShowTokenInfo and msg.ViewURL? Integrate them into JIndex
resp. InfoViewer?

On second thought: Please consider, how many plugins you break if you move
this stuff out of EditBus: JBrowse, JCompiler, BeanShell, InfoViewer,
JIndex, ... forgot one?!? Why not just leave it as it is?

Dirk.