Gildas 7fa77a2abc fixed selection of current profile há 7 anos atrás
..
bg-ui.js 83e1cc22ec fixed menu refresh when updating profiles há 7 anos atrás
ui-button.js 0badb38a1e removed unneeded code há 7 anos atrás
ui-menu.js 7fa77a2abc fixed selection of current profile há 7 anos atrás
ui-options.js f183751f28 disable profiles input if it contains one entry only há 7 anos atrás