Gildas f821ad4983 no need to refresh the menu on tab update vor 7 Jahren
..
core bb929c0243 split bg/ui.js vor 7 Jahren
ui f821ad4983 no need to refresh the menu on tab update vor 7 Jahren
index.js 69273d1390 fixed issue on Firefox vor 7 Jahren