]> gerrit.simantics Code Review - simantics/platform.git/tree - bundles/org.simantics.workbench/src/org/simantics/workbench/internal/preferences/
Code Review / simantics / platform.git / tree
? search:
summary | shortlog | log | commit | commitdiff | review | tree
history | HEAD | snapshot
Always discard database undo history after each platform startup. 32/1532/2
[simantics/platform.git] / bundles / org.simantics.workbench / src / org / simantics / workbench / internal / preferences /
drwxr-xr-x   ..
-rw-r--r-- 2558 AutosavePreferencePage.java blob | history | raw
-rw-r--r-- 2022 ModelBrowserPreferencePage.java blob | history | raw
-rw-r--r-- 2075 SimanticsPreferenceInitializer.java blob | history | raw
-rw-r--r-- 939 SimanticsPreferences.java blob | history | raw
Simantics Platform SDK.