Я разрабатываю расширение для браузера Opera, и я ищу функцию, которая может перезагрузить расширение 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 в настоящее время недоступен (плохие шлюзы и длительные времена загрузки), я думаю, это лучшее место, чтобы задать мой вопрос. Спасибо за ваше время.