VDBSettingsApplication.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Tue, 24 Sep 2019 00:43:53 +0100
changeset 186 8110a5e2c704
parent 175 a304c250e889
child 202 8064029822c5
permissions -rw-r--r--
Always inspect varobj when double-clicking on a variable in variable inspector...
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     1
"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     2
jv:vdb - Visual / VM Debugger
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     3
Copyright (C) 2015-now Jan Vrany
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     4
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     5
This software is licensed under 'Creative Commons Attribution-NonCommercial 4.0 International License'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     6
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     7
You may find a full license text in LICENSE.txt or at http://creativecommons.org/licenses/by-nc/4.0/
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     8
"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
     9
"{ Package: 'jv:vdb' }"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    10
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    11
"{ NameSpace: Smalltalk }"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    12
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    13
AbstractSettingsApplication subclass:#VDBSettingsApplication
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
    14
	instanceVariableNames:'infoPanel gdbCommand'
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    15
	classVariableNames:''
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    16
	poolDictionaries:''
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    17
	category:'VDB-UI-Others'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    18
!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    19
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    20
!VDBSettingsApplication class methodsFor:'documentation'!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    21
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    22
copyright
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    23
"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    24
jv:vdb - Visual / VM Debugger
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    25
Copyright (C) 2015-now Jan Vrany
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    26
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    27
This software is licensed under 'Creative Commons Attribution-NonCommercial 4.0 International License'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    28
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    29
You may find a full license text in LICENSE.txt or at http://creativecommons.org/licenses/by-nc/4.0/
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    30
"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    31
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    32
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    33
!VDBSettingsApplication class methodsFor:'initialization'!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    34
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    35
initialize
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    36
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    37
    self installInSettings
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    38
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    39
    "Created: / 23-06-2005 / 09:27:10 / masca"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    40
!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    41
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    42
installInSettings
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    43
    
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    44
    Smalltalk addStartBlock:[
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    45
        AbstractLauncherApplication 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    46
            addSettingsApplicationByClass:self name withName:'Tools/Visual VM Debugger' icon:self defaultIcon
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    47
    ]
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    48
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    49
    "Created: / 23-06-2005 / 09:27:10 / masca"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    50
    "Modified: / 10-04-2018 / 16:56:22 / 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:
diff changeset
    51
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    52
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    53
!VDBSettingsApplication class methodsFor:'help specs'!
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    54
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    55
helpSpec
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    56
    "This resource specification was automatically generated
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    57
     by the UIHelpTool of ST/X."
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    58
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    59
    "Do not manually edit this!! If it is corrupted,
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    60
     the UIHelpTool may not be able to read the specification."
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    61
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    62
    "
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    63
     UIHelpTool openOnClass:VDBSettingsApplication
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    64
    "
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    65
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    66
    <resource: #help>
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    67
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    68
    ^ super helpSpec addPairsFrom:#(
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    69
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    70
#ExecutableLabel
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    71
'Path to GDB executable. If left empty, system GDB is used.'
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    72
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    73
)
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    74
! !
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
    75
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    76
!VDBSettingsApplication class methodsFor:'interface specs'!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    77
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    78
windowSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    79
    "This resource specification was automatically generated
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    80
     by the UIPainter of ST/X."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    81
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    82
    "Do not manually edit this!! If it is corrupted,
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    83
     the UIPainter may not be able to read the specification."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    84
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    85
    "
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    86
     UIPainter new openOnClass:VDBSettingsApplication andSelector:#windowSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    87
     VDBSettingsApplication new openInterface:#windowSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    88
     VDBSettingsApplication open
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    89
    "
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    90
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    91
    <resource: #canvas>
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    92
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    93
    ^ 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    94
    #(FullSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    95
       name: windowSpec
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
    96
       uuid: '44956520-937c-11e9-8e2a-606720e43e2c'
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    97
       window: 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    98
      (WindowSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    99
         label: 'Java Settings'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   100
         name: 'Java Settings'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   101
         uuid: '10c0dbf1-3cd7-11e8-882f-0021ccd5e3d3'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   102
         min: (Point 10 10)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   103
         bounds: (Rectangle 0 0 695 627)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   104
       )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   105
       component: 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   106
      (SpecCollection
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   107
         collection: (
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   108
          (LabelSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   109
             label: ' Visual/VM Debugger Settings'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   110
             name: 'SettingsTitle'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   111
             layout: (LayoutFrame 0 0 0 0 0 1 66 0)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   112
             style: (FontDescription helvetica medium roman 18 #'iso10646-1' nil nil)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   113
             uuid: '10c0dbf2-3cd7-11e8-882f-0021ccd5e3d3'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   114
             backgroundColor: (Color 100.0 100.0 100.0)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   115
             translateLabel: true
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   116
             adjust: left
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   117
           )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   118
          (LabelSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   119
             label: 'Icon'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   120
             name: 'Icon'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   121
             layout: (LayoutFrame -75 1 0 0 0 1 66 0)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   122
             uuid: '10c10300-3cd7-11e8-882f-0021ccd5e3d3'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   123
             hasCharacterOrientedLabel: false
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   124
             backgroundColor: (Color 100.0 100.0 100.0)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   125
             translateLabel: true
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   126
             labelChannel: libjavaCupIcon
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   127
           )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   128
          (SubCanvasSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   129
             name: 'InfoPanel'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   130
             layout: (LayoutFrame 0 0 67 0 0 1 107 0)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   131
             uuid: '10c10301-3cd7-11e8-882f-0021ccd5e3d3'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   132
             level: 0
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   133
             initiallyInvisible: true
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   134
             hasHorizontalScrollBar: false
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   135
             hasVerticalScrollBar: false
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   136
             clientKey: infoPanel
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   137
             createNewBuilder: false
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   138
           )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   139
          (VerticalPanelViewSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   140
             name: 'Controls'
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   141
             layout: (LayoutFrame 10 0 70 0 -10 1 0 1)
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   142
             uuid: '10c10302-3cd7-11e8-882f-0021ccd5e3d3'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   143
             horizontalLayout: fit
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   144
             verticalLayout: top
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   145
             horizontalSpace: 3
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   146
             verticalSpace: 3
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   147
             component: 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   148
            (SpecCollection
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   149
               collection: (
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   150
                (ViewSpec
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   151
                   name: 'Spacer1'
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   152
                   uuid: 'fed33671-91af-11e9-b25b-606720e43e2c'
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   153
                   extent: (Point 675 15)
117
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 116
diff changeset
   154
                 )
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   155
                (ViewSpec
129
974e705572ea Fix: catch-up with `jv:libgdbs` after a rename of `#gdbExecutable`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 118
diff changeset
   156
                   name: 'CommandPane'
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   157
                   uuid: '7628c0d0-c755-11e8-8f9c-0021ccd5e3d3'
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   158
                   component: 
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   159
                  (SpecCollection
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   160
                     collection: (
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   161
                      (LabelSpec
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   162
                         label: ''';gdb'' command:'
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   163
                         name: 'CommandLabel'
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   164
                         layout: (LayoutFrame 0 0 0 0 120 0 0 1)
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   165
                         uuid: 'fed33672-91af-11e9-b25b-606720e43e2c'
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   166
                         translateLabel: true
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   167
                         adjust: left
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   168
                       )
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   169
                      (FilenameInputFieldSpec
129
974e705572ea Fix: catch-up with `jv:libgdbs` after a rename of `#gdbExecutable`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 118
diff changeset
   170
                         name: 'Command'
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   171
                         layout: (LayoutFrame 120 0 0 0 -100 1 0 1)
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   172
                         uuid: '7628c0d2-c755-11e8-8f9c-0021ccd5e3d3'
129
974e705572ea Fix: catch-up with `jv:libgdbs` after a rename of `#gdbExecutable`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 118
diff changeset
   173
                         model: gdbCommand
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   174
                         immediateAccept: true
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   175
                         acceptOnPointerLeave: true
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   176
                         emptyFieldReplacementText: 'Autodetect'
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   177
                       )
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   178
                      (ActionButtonSpec
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   179
                         label: 'Browse'
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   180
                         name: 'BrowseButton'
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   181
                         layout: (LayoutFrame -100 1 0 0 -8 1 0 1)
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   182
                         uuid: '7628c0d3-c755-11e8-8f9c-0021ccd5e3d3'
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   183
                         translateLabel: true
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   184
                         model: doSelectExecutable
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   185
                       )
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   186
                      )
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   187
                    
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   188
                   )
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   189
                   extent: (Point 675 25)
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   190
                 )
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   191
                (ViewSpec
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   192
                   name: 'Spacer2'
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   193
                   uuid: '7628c0d4-c755-11e8-8f9c-0021ccd5e3d3'
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   194
                   extent: (Point 675 15)
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   195
                 )
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   196
                (ViewSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   197
                   name: 'vdbinit'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   198
                   uuid: '85b08540-936c-11e9-ac6c-606720e43e2c'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   199
                   component: 
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   200
                  (SpecCollection
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   201
                     collection: (
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   202
                      (LabelSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   203
                         label: 'VDB init script'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   204
                         name: 'Label1'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   205
                         layout: (LayoutFrame 0 0 -1 0 0 1 24 0)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   206
                         uuid: '85b08541-936c-11e9-ac6c-606720e43e2c'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   207
                         translateLabel: true
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   208
                         adjust: left
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   209
                       )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   210
                      (LinkButtonSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   211
                         label: 'LinkButton'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   212
                         name: 'EditPreferences'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   213
                         layout: (LayoutFrame 0 0 28 0 -100 1 58 0)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   214
                         uuid: '85b08542-936c-11e9-ac6c-606720e43e2c'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   215
                         foregroundColor: (Color 0.0 0.0 100.0)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   216
                         translateLabel: true
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   217
                         labelChannel: vdbinitAspect
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   218
                         adjust: left
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   219
                         model: doEditVDBinit
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   220
                       )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   221
                      (ActionButtonSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   222
                         label: 'Edit'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   223
                         name: 'Button1'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   224
                         layout: (LayoutFrame -106 1 33 0 -6 1 58 0)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   225
                         uuid: '85b08543-936c-11e9-ac6c-606720e43e2c'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   226
                         translateLabel: true
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   227
                         model: doEditVDBinit
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   228
                       )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   229
                      )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   230
                    
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   231
                   )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   232
                   extent: (Point 675 70)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   233
                 )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   234
                (ViewSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   235
                   name: 'Spacer3'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   236
                   uuid: '7628c0d4-c755-11e8-8f9c-0021ccd5e3d3'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   237
                   extent: (Point 675 15)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   238
                 )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   239
                (ViewSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   240
                   name: 'gdbinit'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   241
                   uuid: '85b08544-936c-11e9-ac6c-606720e43e2c'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   242
                   component: 
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   243
                  (SpecCollection
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   244
                     collection: (
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   245
                      (LabelSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   246
                         label: 'GDB init script'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   247
                         name: 'Label2'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   248
                         layout: (LayoutFrame 0 0 -1 0 0 1 24 0)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   249
                         uuid: '85b08545-936c-11e9-ac6c-606720e43e2c'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   250
                         translateLabel: true
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   251
                         adjust: left
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   252
                       )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   253
                      (LinkButtonSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   254
                         label: 'LinkButton'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   255
                         name: 'Button2'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   256
                         layout: (LayoutFrame 0 0 28 0 -100 1 58 0)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   257
                         uuid: '85b08546-936c-11e9-ac6c-606720e43e2c'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   258
                         foregroundColor: (Color 0.0 0.0 100.0)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   259
                         translateLabel: true
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   260
                         labelChannel: gdbinitAspect
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   261
                         adjust: left
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   262
                         model: doEditGDBinit
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   263
                       )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   264
                      (ActionButtonSpec
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   265
                         label: 'Edit'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   266
                         name: 'Button3'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   267
                         layout: (LayoutFrame -106 1 33 0 -6 1 58 0)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   268
                         uuid: '85b08547-936c-11e9-ac6c-606720e43e2c'
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   269
                         translateLabel: true
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   270
                         model: doEditGDBinit
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   271
                       )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   272
                      )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   273
                    
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   274
                   )
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   275
                   extent: (Point 675 70)
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   276
                 )
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   277
                )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   278
              
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   279
             )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   280
           )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   281
          )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   282
        
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   283
       )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   284
     )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   285
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   286
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   287
!VDBSettingsApplication methodsFor:'actions'!
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   288
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   289
doEditGDBinit
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   290
    VDBScatchPadApplication openOnFile:VDBDebuggerApplication gdbUserInitFile
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   291
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   292
    "Modified: / 21-06-2019 / 10:10:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   293
!
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   294
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   295
doEditVDBinit
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   296
    | user  default  userEditor  defaultEditor  workspaceView  workspace |
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   297
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   298
    workspace := VDBScatchPadApplication new.
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   299
    user := VDBDebuggerApplication vdbUserInitFile.
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   300
    default := VDBDebuggerApplication vdbDefaultInitFile.
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   301
    user exists ifFalse:[
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   302
        default copyTo:user.
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   303
    ].
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   304
    userEditor := Tools::CodeView2 new.
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   305
    userEditor name:#Workspace.
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   306
    workspace 
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   307
        loadFile:user
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   308
        encoding:nil
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   309
        into:userEditor.
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   310
    defaultEditor := Tools::CodeView2 new.
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   311
    workspace 
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   312
        loadFile:default
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   313
        encoding:nil
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   314
        into:defaultEditor.
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   315
    defaultEditor readOnly:true.
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   316
    workspaceView := VariableHorizontalPanel new.
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   317
    workspaceView addComponent:userEditor.
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   318
    workspaceView addComponent:defaultEditor.
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   319
    workspace := VDBScatchPadApplication new.
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   320
    workspace workspaces add:workspaceView.
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   321
    workspace syntax:SmalltalkLanguage instance.
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   322
    workspace open.
175
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   323
    workspace window 
a304c250e889 UI: add "Scratch Pad" tool
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 174
diff changeset
   324
        label:(resources string:'.vdbinit.st - User : vdbinit.st - Default')
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   325
!
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   326
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   327
doSelectExecutable
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   328
    | guess executable |
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   329
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   330
    guess := self gdbCommand value asNilIfEmpty.
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   331
    guess isNil ifTrue:[
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   332
        guess := GDBProcess gdbCommand
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   333
    ].
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   334
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   335
    [ guess notNil and:[ (guess := guess asFilename) exists not ] ] whileTrue:[ 
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   336
        | p |
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   337
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   338
        p := guess directory.
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   339
        (p notNil and:[ p pathName = guess pathName ]) ifTrue:[ 
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   340
            p := nil.
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   341
        ].
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   342
        guess := p.
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   343
    ].
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   344
    guess isNil ifTrue:[ 
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   345
        guess := GDBProcess gdbCommand
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   346
    ].
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   347
    executable := Dialog requestFileName:(resources string:'Select GDB executable') default: guess ifFail:[ ^ self ].
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   348
    self infoPanel hide. 
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   349
    (executable includes: Character space) ifTrue:[ 
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   350
        executable := '"' , executable , '"'.
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   351
    ].
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   352
    self gdbCommand value: executable
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   353
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   354
    "Created: / 03-10-2018 / 22:46:16 / Jan Vrany <jan.vrany@fit.cvut.cz>"
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   355
    "Modified: / 18-06-2019 / 10:42:40 / Jan Vrany <jan.vrany@fit.cvut.cz>"
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   356
! !
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   357
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   358
!VDBSettingsApplication methodsFor:'aspects'!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   359
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   360
aspects
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   361
    ^ #(gdbCommand)
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   362
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   363
    "Created: / 10-04-2018 / 16:53:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   364
    "Modified: / 17-06-2019 / 13:38:13 / Jan Vrany <jan.vrany@fit.cvut.cz>"
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   365
!
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   366
129
974e705572ea Fix: catch-up with `jv:libgdbs` after a rename of `#gdbExecutable`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 118
diff changeset
   367
gdbCommand
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   368
    "return/create the 'gdbCommand' value holder (automatically generated)"
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   369
129
974e705572ea Fix: catch-up with `jv:libgdbs` after a rename of `#gdbExecutable`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 118
diff changeset
   370
    gdbCommand isNil ifTrue:[
974e705572ea Fix: catch-up with `jv:libgdbs` after a rename of `#gdbExecutable`
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 118
diff changeset
   371
        gdbCommand := ValueHolder new.
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   372
        gdbCommand onChangeSend:#doCheckSettings to:self.
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   373
        gdbCommand onChangeSend:#updateModifiedChannel to:self.
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   374
    ].
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   375
    ^ gdbCommand
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   376
    "
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   377
    UserPreferences current gdbCommand
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   378
    "
117
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 116
diff changeset
   379
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   380
    "Modified: / 18-06-2019 / 11:16:59 / Jan Vrany <jan.vrany@fit.cvut.cz>"
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   381
!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   382
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   383
gdbinitAspect
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   384
    <resource: #uiAspect>
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   385
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   386
    ^ VDBDebuggerApplication gdbUserInitFile pathName
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   387
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   388
    "Modified: / 20-06-2019 / 16:24:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   389
!
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   390
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   391
infoPanel
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   392
    infoPanel isNil ifTrue:[
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   393
        infoPanel := Tools::InlineMessageDialog new.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   394
    ].
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   395
    ^ infoPanel
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   396
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   397
    "Created: / 10-04-2018 / 16:52:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
174
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   398
!
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   399
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   400
vdbinitAspect
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   401
    <resource: #uiAspect>
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   402
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   403
    ^ VDBDebuggerApplication vdbUserInitFile pathName
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   404
3f6f51330641 UI: add "Edit" button to settings application to edit GDB and VDB init scripts
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 171
diff changeset
   405
    "Modified: / 20-06-2019 / 16:25:12 / Jan Vrany <jan.vrany@fit.cvut.cz>"
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   406
! !
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   407
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   408
!VDBSettingsApplication methodsFor:'checks'!
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   409
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   410
doCheckCommand
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   411
    "Check `hg` command. Return true if `hg` command exists
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   412
     and of supported version, false otherwise."
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   413
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   414
    | command |
117
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 116
diff changeset
   415
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   416
    command := self gdbCommand value.
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   417
    command isEmptyOrNil ifTrue:[         
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   418
        command := GDBProcess gdbCommandDefault.
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   419
        command isNil ifTrue:[ 
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   420
            self infoPanel 
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   421
                reset;
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   422
                beWarning;
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   423
                message: (resources string:'Cannot find path to `gdb` command');
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   424
                addButtonWithLabel: (self resources string:'Browse') action: [ self doSelectExecutable ];
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   425
                show. 
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   426
            ^ false                
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   427
        ].
117
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 116
diff changeset
   428
    ].
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   429
    [
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   430
        GDBProcess gdbCommandParseAndValidate:command 
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   431
    ] on: GDBError do:[:ex | 
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   432
        self infoPanel 
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   433
            reset;
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   434
            beWarning;
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   435
            message: (resources string:ex description);
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   436
            addButtonWithLabel: (self resources string:'Browse') action: [self infoPanel hide. self doSelectExecutable ];
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   437
            show.            
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   438
        ^ false                            
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   439
    ].
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   440
    ^ true.
117
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 116
diff changeset
   441
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   442
    "Created: / 18-06-2019 / 10:47:27 / Jan Vrany <jan.vrany@fit.cvut.cz>"
117
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 116
diff changeset
   443
!
1ae8e04f5feb UI: add option to change debugger layout and preference to set the default layout
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 116
diff changeset
   444
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   445
doCheckSettings
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   446
    self doCheckCommand ifFalse:[ ^ self ].
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   447
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   448
    self infoPanel hide.
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   449
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   450
    "Created: / 18-06-2019 / 10:45:16 / Jan Vrany <jan.vrany@fit.cvut.cz>"
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   451
! !
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   452
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   453
!VDBSettingsApplication methodsFor:'hooks'!
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   454
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   455
commonPostOpen
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   456
    self doCheckSettings
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   457
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   458
    "Created: / 18-06-2019 / 10:44:16 / Jan Vrany <jan.vrany@fit.cvut.cz>"
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   459
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   460
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   461
!VDBSettingsApplication methodsFor:'protocol'!
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   462
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   463
basicSaveSettings
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   464
    self gdbCommand value = '' ifTrue:[ 
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   465
        self gdbCommand setValue: nil
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   466
    ].
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   467
    super basicSaveSettings.
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   468
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   469
    "Created: / 04-10-2018 / 09:46:08 / Jan Vrany <jan.vrany@fit.cvut.cz>"
171
39774c491dbf Clean up settings application and remove obsolete settings
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 129
diff changeset
   470
    "Modified: / 17-06-2019 / 13:40:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
116
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   471
! !
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   472
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   473
!VDBSettingsApplication class methodsFor:'documentation'!
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   474
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   475
version_HG
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   476
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   477
    ^ '$Changeset: <not expanded> $'
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   478
! !
d0d6da74ead3 UI: add GDB executable configuration to settings dialog
Jan Vrany <jan.vrany@fit.cvut.cz>
parents: 73
diff changeset
   479
73
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   480
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   481
VDBSettingsApplication initialize!