update of jed-extra

[G. Milde]

On  8.07.05, Jörg Sommer wrote:
> G. Milde schrieb am Thu 07. Jul, 09:38 (+0200):


> > Which jed-extra modes should be activated?
 
> > Alternatively to the exclusion_list now in make_ini, we could introduce a
> > "whitelist" of modes to generate autoloads or INITIALIZATION blocks in
> > ini.sl. 
> 
> I don't know. My present thought is, should jed-extra change the
> behaviour of jed or should jed look the same with and without
> jed-extra? 

It should look the same, so I would not auto-activate a different colour
scheme. ;-)

However, it should provide superior convenience, so I would e.g. activate
help.sl (hyperhelp) to have "hyper-links" in the online help system and
context sensitive help with Shift-F1.

As the perception of "superior" varies, the list of modes to be
activated should be configurable. IMHO, this is a debconf task. We should
agree on and provide a default choice.

> For example, should jed-extra overwrite modes in jed?

Drop-in replacements are a bit tricky, as they are active already when
placed in the library path. We might have to store them elsewhere (or
under a different name) and activate by a symlink.


Günter


-- 
G.Milde web.de