Gildas 5a15d802a9 refactored getProperties to make it easier to maintain 6 jaren geleden
..
ui-button.js 5a15d802a9 refactored getProperties to make it easier to maintain 6 jaren geleden
ui-main.js c5d8c78da5 refresh only if status changed 6 jaren geleden
ui-menu.js e0c430d199 added "browserActionMenuEnabled" option 6 jaren geleden
ui-options.js 0723813179 refresh external components after importing data 6 jaren geleden