Gildas 945a15bb23 set rule default profile to the one selected 7 jaren geleden
..
bg-ui.js e7222b3d96 added "Auto-settings rules" in the options page 7 jaren geleden
ui-button.js 3048c2504f fixed call to setBadgeBackgroundColor 7 jaren geleden
ui-menu.js e7222b3d96 added "Auto-settings rules" in the options page 7 jaren geleden
ui-options.js 945a15bb23 set rule default profile to the one selected 7 jaren geleden