VDBSettingsApplication.st
author Jan Vrany <jan.vrany@fit.cvut.cz>
Mon, 20 Aug 2018 11:00:23 +0100
changeset 94 e76206d071fc
parent 73 82e202dec6cb
child 116 d0d6da74ead3
permissions -rw-r--r--
UX: Allow to set a font for text, list views and pinned menus ...independently from `CodeView`'s default font and `MenuPanel`s default font. This is mostly useful for demos :-)
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
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    14
	instanceVariableNames:'infoPanel vdbPrettyPrintingEnabled vdbFrameFiltersEnabled'
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
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    53
!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
    54
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    55
windowSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    56
    "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
    57
     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
    58
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    59
    "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
    60
     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
    61
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    62
    "
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    63
     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
    64
     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
    65
     VDBSettingsApplication open
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    66
    "
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    67
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    68
    <resource: #canvas>
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    69
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    70
    ^ 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    71
    #(FullSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    72
       name: windowSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    73
       uuid: '10c0dbf0-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
    74
       window: 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    75
      (WindowSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    76
         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
    77
         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
    78
         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
    79
         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
    80
         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
    81
       )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    82
       component: 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    83
      (SpecCollection
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    84
         collection: (
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    85
          (LabelSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    86
             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
    87
             name: 'SettingsTitle'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    88
             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
    89
             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
    90
             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
    91
             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
    92
             translateLabel: true
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    93
             adjust: left
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    94
           )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    95
          (LabelSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    96
             label: 'Icon'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    97
             name: 'Icon'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
    98
             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
    99
             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
   100
             hasCharacterOrientedLabel: false
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   101
             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
   102
             translateLabel: true
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   103
             labelChannel: libjavaCupIcon
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
          (SubCanvasSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   106
             name: 'InfoPanel'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   107
             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
   108
             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
   109
             level: 0
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   110
             initiallyInvisible: true
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   111
             hasHorizontalScrollBar: false
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   112
             hasVerticalScrollBar: false
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   113
             clientKey: infoPanel
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   114
             createNewBuilder: false
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   115
           )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   116
          (VerticalPanelViewSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   117
             name: 'Controls'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   118
             layout: (LayoutFrame 0 0 70 0 0 1 0 1)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   119
             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
   120
             horizontalLayout: fit
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   121
             verticalLayout: top
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   122
             horizontalSpace: 3
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   123
             verticalSpace: 3
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   124
             component: 
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   125
            (SpecCollection
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   126
               collection: (
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   127
                (CheckBoxSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   128
                   label: 'Enable Pretty Printers'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   129
                   name: 'EnablePrettyPrinters'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   130
                   uuid: '10c10303-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
   131
                   model: vdbPrettyPrintingEnabled
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   132
                   translateLabel: true
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   133
                   extent: (Point 695 22)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   134
                 )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   135
                (CheckBoxSpec
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   136
                   label: 'Enable Frame Filters'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   137
                   name: 'EnableFrameFilters'
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   138
                   uuid: '10c10304-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
   139
                   model: vdbFrameFiltersEnabled
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   140
                   translateLabel: true
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   141
                   extent: (Point 695 22)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   142
                 )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   143
                )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   144
              
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   145
             )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   146
           )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   147
          )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   148
        
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   149
       )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   150
     )
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   151
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   152
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   153
!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
   154
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   155
aspects
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   156
    ^ #(vdbPrettyPrintingEnabled vdbFrameFiltersEnabled)
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   157
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   158
    "Created: / 10-04-2018 / 16:53:07 / 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
   159
!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   160
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   161
infoPanel
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   162
    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
   163
        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
   164
    ].
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   165
    ^ infoPanel
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   166
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   167
    "Created: / 10-04-2018 / 16:52:37 / 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
   168
!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   169
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   170
vdbFrameFiltersEnabled
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   171
    <resource: #uiAspect>
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   172
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   173
    "automatically generated by UIPainter ..."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   174
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   175
    "*** the code below creates a default model when invoked."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   176
    "*** (which may not be the one you wanted)"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   177
    "*** Please change as required and accept it in the browser."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   178
    "*** (and replace this comment by something more useful ;-)"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   179
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   180
    vdbFrameFiltersEnabled isNil ifTrue:[
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   181
        vdbFrameFiltersEnabled := false asValue.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   182
"/ if your app needs to be notified of changes, uncomment one of the lines below:
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   183
"/       vdbFrameFiltersEnabled addDependent:self.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   184
       vdbFrameFiltersEnabled onChangeSend:#updateModifiedChannel to:self.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   185
    ].
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   186
    ^ vdbFrameFiltersEnabled.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   187
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   188
    "Modified: / 10-04-2018 / 16:53:47 / 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
   189
!
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   190
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   191
vdbPrettyPrintingEnabled
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   192
    <resource: #uiAspect>
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   193
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   194
    "automatically generated by UIPainter ..."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   195
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   196
    "*** the code below creates a default model when invoked."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   197
    "*** (which may not be the one you wanted)"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   198
    "*** Please change as required and accept it in the browser."
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   199
    "*** (and replace this comment by something more useful ;-)"
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   200
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   201
    vdbPrettyPrintingEnabled isNil ifTrue:[
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   202
        vdbPrettyPrintingEnabled := false asValue.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   203
"/ if your app needs to be notified of changes, uncomment one of the lines below:
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   204
"/       vdbPrettyPrintingEnabled addDependent:self.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   205
       vdbPrettyPrintingEnabled onChangeSend:#updateModifiedChannel to:self.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   206
    ].
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   207
    ^ vdbPrettyPrintingEnabled.
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   208
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   209
    "Modified: / 10-04-2018 / 16:53:41 / 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
   210
! !
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   211
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   212
82e202dec6cb UX: added preferences to automatically enable frame filters and pretty printers
Jan Vrany <jan.vrany@fit.cvut.cz>
parents:
diff changeset
   213
VDBSettingsApplication initialize!