extensions.st
changeset 171 39774c491dbf
parent 117 1ae8e04f5feb
child 177 fd154978bab5
--- 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