用户:G/ipe-prefs.json

注意：在发布之后，您可能需要清除浏览器缓存才能看到所作出的更改的影响。

• Firefox或Safari：按住Shift的同时单击刷新，或按Ctrl-F5或Ctrl-R（Mac为⌘-R）
• Google Chrome：按Ctrl-Shift-R（Mac为⌘-Shift-R）
• Edge：按住Ctrl的同时单击刷新，或按Ctrl-F5。

analytics.enabled	true
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"
toolboxAlwaysShow	true