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