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