Gildas 82d01246fa fixed handling of contextMenuEnabled when switching profiles vor 6 Jahren
..
ui-button.js 71b2fd043d removed unnecessary try/catch vor 6 Jahren
ui-commands.js 359dbd0fba use commands variable vor 6 Jahren
ui-main.js 1f61985943 renamed bg.menu to bg.menus vor 6 Jahren
ui-menus.js 82d01246fa fixed handling of contextMenuEnabled when switching profiles vor 6 Jahren
ui-options.js 6c180cb221 use 2nd parameter of Array.from vor 6 Jahren