Mirrors/rust-search-extension
2
0
Fork 0
mirror of https://github.com/huhu/rust-search-extension synced 2024-11-14 15:47:12 +00:00
Code Issues Projects Releases Packages Wiki Activity

Replace options_page with options_ui

Browse source
This commit is contained in:
Folyd 2022-08-13 16:46:56 +08:00
parent 84897f5525
commit 93d9cca58b
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
core

@ -1 +1 @@
Subproject commit 62915c9e8b7e4babab3061d4f53996591ebdf267
Subproject commit 0e08fec272d137fe05b8f75d48c821a6634ce026

2
manifest.jsonnet
View file

@ -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']),