extensions.st
changeset 73 82e202dec6cb
parent 59 e7d0453109a1
child 83 101ff2210613
--- a/extensions.st	Mon Apr 09 21:43:54 2018 +0100
+++ b/extensions.st	Tue Apr 10 20:23:08 2018 +0100
@@ -19,6 +19,70 @@
     "Modified: / 03-02-2018 / 09:58:42 / 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