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