用户:Suika Sakura/ipe-prefs.json

Nota: dopo aver pubblicato, potrebbe essere necessario pulire la cache del proprio browser per vedere i cambiamenti.

• Firefox / Safari: tieni premuto il tasto delle maiuscole Shift e fai clic su Ricarica, oppure premi Ctrl-F5 o Ctrl-R (⌘-R su Mac)
• Google Chrome: premi Ctrl-Shift-R (⌘-Shift-R su un Mac)
• Internet Explorer / Edge: tieni premuto il tasto Ctrl e fai clic su Aggiorna, oppure premi Ctrl-F5
• Opera: premi Ctrl-F5.

analytics.enabled	true
pluginStore.plugins	registry "https://registry.ipe.wiki/registry.v1.json" id "code-mirror"
pluginStore.registries	"https://registry.ipe.wiki/registry.v1.json"
toolboxAlwaysShow	true