User:机智的小鱼君/ipe-prefs.json

From Project-EPB Commons


Note: After saving, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Go to Menu → Settings (Opera → Preferences on a Mac) and then to Privacy & security → Clear browsing data → Cached images and files.
analytics.enabledtrue
pluginStore.plugins
registry"https://registry.ipe.wiki/registry.v1.json"
id"code-mirror"
registry"https://registry.ipe.wiki/registry.v1.json"
id"wiki-editor"
registry"https://registry.ipe.wiki/registry.v1.json"
id"quick-delete"
registry"https://registry.ipe.wiki/registry.v1.json"
id"edit-any-page"
pluginStore.registries
"https://registry.ipe.wiki/registry.v1.json"
quickEdit.outSideClosefalse
toolboxAlwaysShowtrue