Gildas 9a31fd0452 fixed issue where import would work only once w/o any page refresh hace 7 años
..
bg-ui.js e7222b3d96 added "Auto-settings rules" in the options page hace 7 años
ui-button.js 3048c2504f fixed call to setBadgeBackgroundColor hace 7 años
ui-menu.js e7222b3d96 added "Auto-settings rules" in the options page hace 7 años
ui-options.js 9a31fd0452 fixed issue where import would work only once w/o any page refresh hace 7 años