Я разрабатываю расширение для браузера Opera и ищу функцию, которая может перезагрузить расширение Opera или альтернативный способ решения моей проблемы. Я хочу, чтобы пользователь мог переключаться между старой версией расширения (вид списка или «новое меню») и новой версией (обычный вид или «старое меню»).
Код для этого выглядит следующим образом:
<a id="switch" href="javascript: void(0)" onClick="widget.preferences.version = 'newmenu'; document.getElementById('switch').innerHTML = 'Please reload the extension';">[Switch to Normal View]</a>
widget.preferences.version = 'newmenu' в этом файле oldmenu.html устанавливает предпочтение пользователя для использования нового меню и widget.preferences.version = 'oldmenu' (здесь не показано), расположенное в menu.html, задает предпочтение пользователя для использования старого меню.
Затем в файле index.html расширение проверяет, должно ли оно показывать старое меню или новое меню.
if (widget.preferences.version == "oldmenu") {
var ToolbarUIItemProperties = {title: "4chan Boards", icon: "icons/icon_64x64.png", popup: {href: "oldmenu.html", width: 220, height: 620}}
} else {
var ToolbarUIItemProperties = {title: "4chan Boards", icon: "icons/icon_64x64.png", popup: {href: "menu.html", width: 250, height: 350}}
}
Теперь проблема в том, что для выполнения этого кода пользователь должен вручную перезагрузить расширение, что очень некрасиво.
Ну, так как форум разработчиков Opera в настоящее время недоступен (плохие шлюзы и долгое время загрузки), я думаю, что это лучшее место, чтобы задать мой вопрос. Спасибо за ваше время.