Gildas c5d8c78da5 refresh only if status changed 6 lat temu
..
ui-button.js d54855ab35 don't refresh the button when activating tab 6 lat temu
ui-main.js c5d8c78da5 refresh only if status changed 6 lat temu
ui-menu.js 01807cabd8 added "tabMenuEnabled" option 6 lat temu
ui-options.js 0723813179 refresh external components after importing data 6 lat temu