If you right click on a saved or auto-saved session in the main (opening) menu, the "Delete" item is shown as
Delete__NUM_,
(underscore = space)
I guess this is not the desired label for that menu item
Claus
v3.0/456
Delete__NUM_,
(underscore = space)
I guess this is not the desired label for that menu item
Claus
v3.0/456
Comment