From 93d9cca58b00c9a73cb8d4d859879f21ae5c85ee Mon Sep 17 00:00:00 2001
From: Folyd <lyshuhow@gmail.com>
Date: Sat, 13 Aug 2022 16:46:56 +0800
Subject: [PATCH] Replace options_page with options_ui

---
 core             | 2 +-
 manifest.jsonnet | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/core b/core
index 62915c9..0e08fec 160000
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit 62915c9e8b7e4babab3061d4f53996591ebdf267
+Subproject commit 0e08fec272d137fe05b8f75d48c821a6634ce026
diff --git a/manifest.jsonnet b/manifest.jsonnet
index 171e8ca..8b4583d 100644
--- a/manifest.jsonnet
+++ b/manifest.jsonnet
@@ -47,7 +47,7 @@ else
 
 json.addIcons(icons())
 .addPermissions(['storage', 'unlimitedStorage'])
-.setOptionsPage('manage/index.html')
+.setOptionsUi('manage/index.html')
 .addContentScript(
   matches=['*://docs.rs/*'],
   js=utils.js_files('script', ['lib', 'docs-rs', 'svgs', 'rust-src-navigate']) + utils.js_files('libs', ['semver']),