-
- Downloads
Add preference to prefer External Editor for all DOC.FileDocuments
By default the preference is false to keep the normal functionality as is. gitlab #927
Showing
- bundles/org.simantics.document.ui/plugin.xml 17 additions, 1 deletionbundles/org.simantics.document.ui/plugin.xml
- bundles/org.simantics.document.ui/src/org/simantics/document/ui/graphfile/ExternalEditorAdapter.java 73 additions, 13 deletions...imantics/document/ui/graphfile/ExternalEditorAdapter.java
- bundles/org.simantics.document.ui/src/org/simantics/document/ui/prefs/DocumentsPreferenceInitializer.java 36 additions, 0 deletions...ics/document/ui/prefs/DocumentsPreferenceInitializer.java
- bundles/org.simantics.document.ui/src/org/simantics/document/ui/prefs/DocumentsPreferencePage.java 47 additions, 0 deletions.../simantics/document/ui/prefs/DocumentsPreferencePage.java
- bundles/org.simantics.document.ui/src/org/simantics/document/ui/prefs/DocumentsPreferences.java 46 additions, 0 deletions...org/simantics/document/ui/prefs/DocumentsPreferences.java
- bundles/org.simantics.ui/src/org/simantics/ui/workbench/editor/EditorRegistry.java 12 additions, 5 deletions...src/org/simantics/ui/workbench/editor/EditorRegistry.java
- bundles/org.simantics.ui/src/org/simantics/ui/workbench/editor/IEditorRegistry.java 8 additions, 1 deletion...rc/org/simantics/ui/workbench/editor/IEditorRegistry.java
Loading
Please register or sign in to comment