Gildas 9c59fb60d3 fixed regression when saving with the shortcut 6 lat temu
..
ui-button.js d7e116fc2e fixed process cancellation 6 lat temu
ui-commands.js 9c59fb60d3 fixed regression when saving with the shortcut 6 lat temu
ui-main.js 1f61985943 renamed bg.menu to bg.menus 6 lat temu
ui-menus.js bfb25b13bc order tabs by index (cf #278) 6 lat temu
ui-options.js b504f890ad better positioning of popups (fix #277) 6 lat temu