查看“︁User:Wecury/ipe-prefs.json”︁的源代码

{
	"analytics.enabled": true,
	"inArticleLinks.quickEdit.redlinks": false,
	"pluginStore.plugins": [
		{
			"registry": "https://registry.ipe.wiki/registry.v1.json",
			"id": "wiki-editor"
		},
		{
			"registry": "https://registry.ipe.wiki/registry.v1.json",
			"id": "code-mirror"
		}
	],
	"pluginStore.registries": [
		"https://registry.ipe.wiki/registry.v1.json"
	],
	"quickEdit.editMinor": true,
	"quickEdit.editSummary": "//IPE-NEXT Quick edit",
	"quickMove.reason": "//IPE-NEXT Quick move",
	"quickRedirect.reason": "//IPE-NEXT Quick redirect",
	"toolboxAlwaysShow": true
}