extensions.st
changeset 73 82e202dec6cb
parent 59 e7d0453109a1
child 83 101ff2210613
equal deleted inserted replaced
72:4e8268dabaf7 73:82e202dec6cb
    17         yourself
    17         yourself
    18 
    18 
    19     "Modified: / 03-02-2018 / 09:58:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
    19     "Modified: / 03-02-2018 / 09:58:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
    20 ! !
    20 ! !
    21 
    21 
       
    22 !UserPreferences methodsFor:'accessing-vdb'!
       
    23 
       
    24 vdbFrameFiltersEnabled
       
    25     "Return true, if VDB should enable frame filters by default."
       
    26 
       
    27     ^ self at: #vdbFrameFiltersEnabled ifAbsent:[ false ].
       
    28 
       
    29     "    
       
    30     UserPreferences current vdbFrameFiltersEnabled.
       
    31     UserPreferences current vdbFrameFiltersEnabled: true.
       
    32     UserPreferences current vdbFrameFiltersEnabled: false.
       
    33     "
       
    34 
       
    35     "Created: / 10-04-2018 / 11:05:28 / Jan Vrany <jan.vrany@fit.cvut.cz>"
       
    36 ! !
       
    37 
       
    38 !UserPreferences methodsFor:'accessing-vdb'!
       
    39 
       
    40 vdbFrameFiltersEnabled: aBoolean
       
    41     "Set whether VDB should enable frame filters by default."
       
    42 
       
    43     ^ self at: #vdbFrameFiltersEnabled put: aBoolean
       
    44 
       
    45     "    
       
    46     UserPreferences current vdbFrameFiltersEnabled.
       
    47     UserPreferences current vdbFrameFiltersEnabled: true.
       
    48     UserPreferences current vdbFrameFiltersEnabled: false.
       
    49     "
       
    50 
       
    51     "Created: / 10-04-2018 / 11:05:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
       
    52 ! !
       
    53 
       
    54 !UserPreferences methodsFor:'accessing-vdb'!
       
    55 
       
    56 vdbPrettyPrintingEnabled
       
    57     "Return true, if VDB should enable pretty printing by default."
       
    58 
       
    59     ^ self at: #vdbPrettyPrintingEnabled ifAbsent:[ false ].
       
    60 
       
    61     "    
       
    62     UserPreferences current vdbPrettyPrintingEnabled.
       
    63     UserPreferences current vdbPrettyPrintingEnabled: true.
       
    64     UserPreferences current vdbPrettyPrintingEnabled: false.
       
    65     "
       
    66 
       
    67     "Created: / 10-04-2018 / 11:06:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"
       
    68 ! !
       
    69 
       
    70 !UserPreferences methodsFor:'accessing-vdb'!
       
    71 
       
    72 vdbPrettyPrintingEnabled: aBoolean
       
    73     "Set whether VDB should enable pretty printing by default."
       
    74 
       
    75     ^ self at: #vdbPrettyPrintingEnabled put: aBoolean
       
    76 
       
    77     "    
       
    78     UserPreferences current vdbPrettyPrintingEnabled.
       
    79     UserPreferences current vdbPrettyPrintingEnabled: true.
       
    80     UserPreferences current vdbPrettyPrintingEnabled: false.
       
    81     "
       
    82 
       
    83     "Created: / 10-04-2018 / 11:06:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
       
    84 ! !
       
    85 
    22 !jv_vdb class methodsFor:'documentation'!
    86 !jv_vdb class methodsFor:'documentation'!
    23 
    87 
    24 extensionsVersion_HG
    88 extensionsVersion_HG
    25 
    89 
    26     ^ '$Changeset: <not expanded> $'
    90     ^ '$Changeset: <not expanded> $'