That would affect the GUI. Only in the tooltip or also in the menu entry? Frank Am 11.06.20 um 08:48 schrieb Adrien Monteleone: > Perhaps changing ’Double Line’ in the menu to ’Show Notes’ would make it more discoverable and the entry more informative. > > Regards, > Adrien