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