GitLab

Detail:
  There were actually two problems:
  * No account was taken of the fact that the menu item indexes were different
    in the shortened menu.
  * The static variable "menu_userblk" was needed for decoding help messages,
    but its initialisation in the icon bar menu case was accidentally chopped
    out along with the code that customised the third menu item (the one that
    said "Task display" on the icon bar menu and says "Task '<taskname>'" on
    the task display menu). This bug does not seem to have been reproducible
    on all platforms due to the nature of uninitialised variables.
Admin:
  Tested on Raspberry Pi. Joint work by Willi Theiss and Ben Avison.

Version 1.41. Tagged as 'Switcher-1_41'