--- a/extensions.st Wed Jun 12 20:04:33 2019 +0100
+++ b/extensions.st Tue Jun 18 11:14:38 2019 +0100
@@ -50,105 +50,6 @@
"Modified: / 03-02-2018 / 09:58:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
-!UserPreferences methodsFor:'accessing-vdb'!
-
-vdbDebuggerLayout
- "Return default (initial) layout of debugger window."
-
- ^ self at: #vdbDebuggerLayout ifAbsent:[ nil ].
-
- "
- UserPreferences current vdbDebuggerLayout.
- UserPreferences current vdbDebuggerLayout: #layoutSingleSpec.
- UserPreferences current vdbDebuggerLayout: nil.
- "
-
- "Created: / 04-10-2018 / 11:13:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
-!UserPreferences methodsFor:'accessing-vdb'!
-
-vdbDebuggerLayout: aSymbol
- "Set default (initial) debugger window layout (as spec-selector).
-
- For set of supported layouts, see VDBDebuggerApplication class,
- protocol `interface specs-layouts`"
-
- ^ self at: #vdbDebuggerLayout put: aSymbol
-
- "
- UserPreferences current vdbDebuggerLayout.
- UserPreferences current vdbDebuggerLayout: #layoutSingleSpec.
- UserPreferences current vdbDebuggerLayout: nil.
- "
-
- "Created: / 04-10-2018 / 12:27:23 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
-!UserPreferences methodsFor:'accessing-vdb'!
-
-vdbFrameFiltersEnabled
- "Return true, if VDB should enable frame filters by default."
-
- ^ self at: #vdbFrameFiltersEnabled ifAbsent:[ false ].
-
- "
- UserPreferences current vdbFrameFiltersEnabled.
- UserPreferences current vdbFrameFiltersEnabled: true.
- UserPreferences current vdbFrameFiltersEnabled: false.
- "
-
- "Created: / 10-04-2018 / 11:05:28 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
-!UserPreferences methodsFor:'accessing-vdb'!
-
-vdbFrameFiltersEnabled: aBoolean
- "Set whether VDB should enable frame filters by default."
-
- ^ self at: #vdbFrameFiltersEnabled put: aBoolean
-
- "
- UserPreferences current vdbFrameFiltersEnabled.
- UserPreferences current vdbFrameFiltersEnabled: true.
- UserPreferences current vdbFrameFiltersEnabled: false.
- "
-
- "Created: / 10-04-2018 / 11:05:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
-!UserPreferences methodsFor:'accessing-vdb'!
-
-vdbPrettyPrintingEnabled
- "Return true, if VDB should enable pretty printing by default."
-
- ^ self at: #vdbPrettyPrintingEnabled ifAbsent:[ false ].
-
- "
- UserPreferences current vdbPrettyPrintingEnabled.
- UserPreferences current vdbPrettyPrintingEnabled: true.
- UserPreferences current vdbPrettyPrintingEnabled: false.
- "
-
- "Created: / 10-04-2018 / 11:06:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
-!UserPreferences methodsFor:'accessing-vdb'!
-
-vdbPrettyPrintingEnabled: aBoolean
- "Set whether VDB should enable pretty printing by default."
-
- ^ self at: #vdbPrettyPrintingEnabled put: aBoolean
-
- "
- UserPreferences current vdbPrettyPrintingEnabled.
- UserPreferences current vdbPrettyPrintingEnabled: true.
- UserPreferences current vdbPrettyPrintingEnabled: false.
- "
-
- "Created: / 10-04-2018 / 11:06:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-! !
-
!jv_vdb class methodsFor:'documentation'!
extensionsVersion_HG