User:SaoMikoto/ipe-prefs.json: Difference between revisions

From Test Wiki
Jump to navigation Jump to search
Content deleted Content added
[IPE-NEXT] Quick edit
 
(No difference)

Latest revision as of 10:20, 4 December 2025

analytics.enabledtrue
inArticleLinks.quickEdit.redlinksfalse
pluginStore.plugins
registry"https://registry.ipe.wiki/registry.v1.json"
id"code-mirror"
registry"https://registry.ipe.wiki/registry.v1.json"
id"edit-any-page"
registry"https://registry.ipe.wiki/registry.v1.json"
id"wiki-editor"
pluginStore.registries
"https://registry.ipe.wiki/registry.v1.json"
quickEdit.editMinortrue
quickEdit.editSummary"// Edit via InPageEdit-NEXT"
quickMove.reason"// Move via InPageEdit-NEXT"
quickRedirect.reason"// Redirect via InPageEdit-NEXT"
toolboxAlwaysShowtrue