Gildas 3048c2504f fixed call to setBadgeBackgroundColor 7 years ago
..
bg-ui.js 3c9c9890b8 Basic implementation of profiles 7 years ago
ui-button.js 3048c2504f fixed call to setBadgeBackgroundColor 7 years ago
ui-menu.js ef052f678b check the profile set by default 7 years ago
ui-options.js fc55913916 Added workaround to fix issue #111 7 years ago