<!DOCTYPE html> <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body text="#000000" bgcolor="#FFFFFF"> As we are discussing menu, for the record I have this commander[1] design for menu. It lets you easily add additional entries to existing menu. It is design is light and is its use. [1] package <a class="moz-txt-link-freetext" href="https://github.com/hilaire/drgeo/blob/main/src/Commander.pck.st">https://github.com/hilaire/drgeo/blob/main/src/Commander.pck.st</a> <pre class="moz-signature" cols="72">-- GNU Dr. Geo <a class="moz-txt-link-freetext" href="http://gnu.org/s/dr-geo/">http://gnu.org/s/dr-geo/</a> <a class="moz-txt-link-freetext" href="http://gnu-drgeo.blogspot.com/">http://gnu-drgeo.blogspot.com/</a></pre> </body> </html>