extensions.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Wed, 13 Mar 2019 14:18:16 +0000
changeset 150 2bd269c89e8c
parent 117 1ae8e04f5feb
child 171 39774c491dbf
permissions -rw-r--r--
Fix annoying flashing in simple console on Windows ...caused by different key names inder X11 and Windows. This fix adds few more to the list.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
59
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     1
"{ Package: 'jv:vdb' }"!
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     2
83
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
     3
!GDBDebugger methodsFor:'event handling'!
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
     4
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
     5
onRRExitEvent:anRRExitEvent
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
     6
    | status |
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
     7
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
     8
    anRRExitEvent rr announcer unsubscribe: self.
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
     9
    status := anRRExitEvent status.
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    10
    (status success or:[ status status == #signal and:[status code == OperatingSystem sigTERM ]]) ifFalse:[ 
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    11
        Dialog warn: (self class classResources string: 'Replay server terminated with error')
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    12
    ].
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    13
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    14
    "Created: / 31-07-2018 / 09:37:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    15
! !
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    16
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    17
!GDBDebugger methodsFor:'commands - API'!
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    18
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    19
targetConnectRR: rr
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    20
    "Connect to rr replay server"
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    21
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    22
    "/ rr suggest to connect as follows:
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    23
    "/ 
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    24
    "/     gdb '-l' '10000' '-ex' 'set sysroot /' '-ex' 'target extended-remote 127.0.0.1:9876' ...
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    25
    "/
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    26
    self send: (GDBMI_gdb_set arguments: #('sysroot' '/')).
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    27
    self targetConnect: 'extended-remote'  parameters: (Array with: '127.0.0.1:' with: rr port).
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    28
    rr announcer when: RRExitEvent send: #onRRExitEvent: to: self.
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    29
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    30
    "Created: / 26-07-2018 / 21:48:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    31
    "Modified: / 31-07-2018 / 09:38:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    32
! !
101ff2210613 Initial support for Mozilla rr
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    33
59
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    34
!GDBVariableObject methodsFor:'inspecting'!
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    35
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    36
inspector2TabVariable
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    37
    <inspector2Tab>
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    38
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    39
    | varObjApp |
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    40
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    41
    varObjApp := Smalltalk at: #VDBVariableObjectListApplication ifAbsent:[ ^ nil ].
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    42
    ^ (self newInspector2Tab)
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    43
        label:'Variable';
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    44
        priority:95;
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    45
        "/ view: [ ... ];
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    46
        application: [ varObjApp new debugger: debugger; variableObjectList: (Array with: self); yourself ];
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    47
        "/ text: [ ... ];
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    48
        yourself
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    49
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    50
    "Modified: / 03-02-2018 / 09:58:42 / Jan Vrany <jan.vrany@fit.cvut.cz>"
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    51
! !
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    52
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    53
!UserPreferences methodsFor:'accessing-vdb'!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    54
117
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    55
vdbDebuggerLayout
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    56
    "Return default (initial) layout of debugger window."
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    57
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    58
    ^ self at: #vdbDebuggerLayout ifAbsent:[ nil ].
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    59
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    60
    "    
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    61
    UserPreferences current vdbDebuggerLayout.
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    62
    UserPreferences current vdbDebuggerLayout: #layoutSingleSpec.
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    63
    UserPreferences current vdbDebuggerLayout: nil.
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    64
    "
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    65
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    66
    "Created: / 04-10-2018 / 11:13:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    67
! !
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    68
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    69
!UserPreferences methodsFor:'accessing-vdb'!
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    70
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    71
vdbDebuggerLayout: aSymbol
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    72
    "Set default (initial) debugger window layout (as spec-selector).
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    73
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    74
     For set of supported layouts, see VDBDebuggerApplication class,
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    75
     protocol `interface specs-layouts`"
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    76
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    77
    ^ self at: #vdbDebuggerLayout put: aSymbol
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    78
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    79
    "    
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    80
    UserPreferences current vdbDebuggerLayout.
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    81
    UserPreferences current vdbDebuggerLayout: #layoutSingleSpec.
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    82
    UserPreferences current vdbDebuggerLayout: nil.
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    83
    "
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    84
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    85
    "Created: / 04-10-2018 / 12:27:23 / Jan Vrany <jan.vrany@fit.cvut.cz>"
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    86
! !
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    87
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    88
!UserPreferences methodsFor:'accessing-vdb'!
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 83
diff changeset
    89
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    90
vdbFrameFiltersEnabled
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    91
    "Return true, if VDB should enable frame filters by default."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    92
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    93
    ^ self at: #vdbFrameFiltersEnabled ifAbsent:[ false ].
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    94
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    95
    "    
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    96
    UserPreferences current vdbFrameFiltersEnabled.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    97
    UserPreferences current vdbFrameFiltersEnabled: true.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    98
    UserPreferences current vdbFrameFiltersEnabled: false.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
    99
    "
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   100
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   101
    "Created: / 10-04-2018 / 11:05:28 / Jan Vrany <jan.vrany@fit.cvut.cz>"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   102
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   103
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   104
!UserPreferences methodsFor:'accessing-vdb'!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   105
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   106
vdbFrameFiltersEnabled: aBoolean
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   107
    "Set whether VDB should enable frame filters by default."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   108
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   109
    ^ self at: #vdbFrameFiltersEnabled put: aBoolean
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   110
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   111
    "    
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   112
    UserPreferences current vdbFrameFiltersEnabled.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   113
    UserPreferences current vdbFrameFiltersEnabled: true.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   114
    UserPreferences current vdbFrameFiltersEnabled: false.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   115
    "
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   116
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   117
    "Created: / 10-04-2018 / 11:05:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   118
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   119
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   120
!UserPreferences methodsFor:'accessing-vdb'!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   121
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   122
vdbPrettyPrintingEnabled
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   123
    "Return true, if VDB should enable pretty printing by default."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   124
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   125
    ^ self at: #vdbPrettyPrintingEnabled ifAbsent:[ false ].
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   126
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   127
    "    
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   128
    UserPreferences current vdbPrettyPrintingEnabled.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   129
    UserPreferences current vdbPrettyPrintingEnabled: true.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   130
    UserPreferences current vdbPrettyPrintingEnabled: false.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   131
    "
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   132
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   133
    "Created: / 10-04-2018 / 11:06:26 / Jan Vrany <jan.vrany@fit.cvut.cz>"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   134
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   135
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   136
!UserPreferences methodsFor:'accessing-vdb'!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   137
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   138
vdbPrettyPrintingEnabled: aBoolean
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   139
    "Set whether VDB should enable pretty printing by default."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   140
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   141
    ^ self at: #vdbPrettyPrintingEnabled put: aBoolean
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   142
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   143
    "    
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   144
    UserPreferences current vdbPrettyPrintingEnabled.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   145
    UserPreferences current vdbPrettyPrintingEnabled: true.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   146
    UserPreferences current vdbPrettyPrintingEnabled: false.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   147
    "
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   148
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   149
    "Created: / 10-04-2018 / 11:06:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   150
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 59
diff changeset
   151
59
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   152
!jv_vdb class methodsFor:'documentation'!
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   153
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   154
extensionsVersion_HG
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   155
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   156
    ^ '$Changeset: <not expanded> $'
e7d0453109a1 Variable objects: splitted `VDBFrameApplication`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   157
! !