查看“︁用户:Smalllqiang/ipe-prefs.json”︁的源代码

{
	"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": "in-cat-edit"
		},
		{
			"registry": "https://registry.ipe.wiki/registry.v1.json",
			"id": "wiki-editor"
		}
	],
	"pluginStore.registries": [
		"https://registry.ipe.wiki/registry.v1.json"
	],
	"toolboxAlwaysShow": true
}