Made a fix (kludge?) in dd_lightbar_menu.js to properly write menu items with the check character (multi-selected) in a borderless menu (vs. a menu with borders).
This GitLab instance has migrated as of Nov-5-2022 to a new server: hardware, OS, SSH key
The v3.20a development branch has now been merged to the master branch. Sysops upgrading from earlier versions must run 'jsexec update'
Made a fix (kludge?) in dd_lightbar_menu.js to properly write menu items with the check character (multi-selected) in a borderless menu (vs. a menu with borders).