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