Gildas 9b10a477d5 renamed method refreshTab 7 years ago
..
bg-ui.js 9b10a477d5 renamed method refreshTab 7 years ago
ui-button.js 9b10a477d5 renamed method refreshTab 7 years ago
ui-menu.js 9b10a477d5 renamed method refreshTab 7 years ago
ui-options.js 64b9d80d02 moved all SingleFile code under AGPL 7 years ago