Gildas c5ee526216 use internal constant for the default profile name vor 7 Jahren
..
bg-ui.js 3c9c9890b8 Basic implementation of profiles vor 7 Jahren
ui-button.js 6524a3fc7e fixed refreshing issue vor 7 Jahren
ui-menu.js c5ee526216 use internal constant for the default profile name vor 7 Jahren
ui-options.js c5ee526216 use internal constant for the default profile name vor 7 Jahren