[jed-users] modifying help menu?

[Ulli Horlacher <framstag@xxxxxxxxxxxxxxxxxxxx>]

With jed 0.99.20 the help function has changed: 
Esc h now calls select_menubar() instead of help_prefix()

I would like to add my old help functions into the help menu shown by Esc h

What is the best/supported way to do it?

I do not want to modify popups.sl, because an upgrade would overwrite it.


-- 
Ullrich Horlacher              Server und Virtualisierung
Rechenzentrum TIK         
Universitaet Stuttgart         E-Mail: horlacher@xxxxxxxxxxxxxxxxxxxx
Allmandring 30a                Tel:    ++49-711-68565868
70569 Stuttgart (Germany)      WWW:    http://www.tik.uni-stuttgart.de/
REF:<20160926170022.GB13752@xxxxxxxxxxxxxxxxxxxx>
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.