WorkspaceApplication.st
author Claus Gittinger <cg@exept.de>
Wed, 24 Oct 2001 00:14:50 +0200
changeset 3334 3c6e88d38b59
parent 3332 91e39add4561
child 3336 766519f4de88
permissions -rw-r--r--
checkin from browser
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
"{ Package: 'stx:libtool' }"
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     2
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
ToolApplicationModel subclass:#WorkspaceApplication
3222
b95c86b3b511 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3214
diff changeset
     4
	instanceVariableNames:'workspaces tabList selectedWorkspaceIndexHolder workspaceHolder'
b95c86b3b511 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3214
diff changeset
     5
	classVariableNames:''
b95c86b3b511 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3214
diff changeset
     6
	poolDictionaries:''
b95c86b3b511 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3214
diff changeset
     7
	category:'Interface-Smalltalk'
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     9
3191
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    10
!WorkspaceApplication class methodsFor:'documentation'!
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    11
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    12
documentation
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    13
"
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    14
    A simple wrapper around a WorkSpace-View, adding a pullDown menu.
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    15
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    16
    [author:]
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    17
        Claus Gittinger
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    18
"
52879128b8a3 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3160
diff changeset
    19
! !
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    20
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    21
!WorkspaceApplication class methodsFor:'interface specs'!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    22
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    23
windowSpec
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    24
    "This resource specification was automatically generated
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    25
     by the UIPainter of ST/X."
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    26
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    27
    "Do not manually edit this!! If it is corrupted,
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    28
     the UIPainter may not be able to read the specification."
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    29
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    30
    "
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    31
     UIPainter new openOnClass:WorkspaceApplication andSelector:#windowSpec
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    32
     WorkspaceApplication new openInterface:#windowSpec
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    33
     WorkspaceApplication open
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    34
    "
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    35
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    36
    <resource: #canvas>
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    37
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    38
    ^ 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    39
     #(#FullSpec
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    40
        #name: #windowSpec
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    41
        #window: 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    42
       #(#WindowSpec
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    43
          #label: 'Workspace'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    44
          #name: 'Workspace'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    45
          #min: #(#Point 10 10)
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    46
          #max: #(#Point 1024 768)
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    47
          #bounds: #(#Rectangle 16 46 448 287)
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    48
          #menu: #mainMenu
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    49
        )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    50
        #component: 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    51
       #(#SpecCollection
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    52
          #collection: #(
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    53
           #(#ArbitraryComponentSpec
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    54
              #name: 'WorkspaceView'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    55
              #layout: #(#LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    56
              #hasHorizontalScrollBar: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    57
              #hasVerticalScrollBar: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    58
              #miniScrollerVertical: false
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    59
              #hasBorder: false
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    60
              #component: #Workspace
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    61
            )
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    62
           #(#NoteBookViewSpec
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    63
              #name: 'NoteBook1'
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    64
              #layout: #(#LayoutFrame 0 0.0 0 0.0 0 1.0 0 1.0)
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    65
              #model: #selectedWorkspaceIndexHolder
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    66
              #menu: #tabList
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    67
              #useIndex: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    68
              #accessTabMenuAction: #tabMenuAt:
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    69
              #canvas: #workspaceHolder
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    70
              #canvasInset: 0
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    71
              #canvasFrameLevel: 0
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    72
              #keepCanvasAlive: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    73
              #tabLevel: 2
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
    74
            )
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    75
           )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    76
         
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    77
        )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    78
      )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    79
! !
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    80
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    81
!WorkspaceApplication class methodsFor:'menu specs'!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    82
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    83
mainMenu
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    84
    "This resource specification was automatically generated
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    85
     by the MenuEditor of ST/X."
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    86
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    87
    "Do not manually edit this!! If it is corrupted,
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    88
     the MenuEditor may not be able to read the specification."
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    89
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    90
    "
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    91
     MenuEditor new openOnClass:WorkspaceApplication andSelector:#mainMenu
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    92
     (Menu new fromLiteralArrayEncoding:(WorkspaceApplication mainMenu)) startUp
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    93
    "
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    94
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    95
    <resource: #menu>
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    96
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    97
    ^ 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    98
     #(#Menu
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    99
        #(
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   100
         #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   101
            #label: 'File'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   102
            #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   103
            #submenu: 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   104
           #(#Menu
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   105
              #(
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   106
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   107
                  #label: 'New'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   108
                  #translateLabel: true
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   109
                  #isVisible: false
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   110
                  #value: #menuNew
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   111
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   112
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   113
                  #label: '-'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   114
                  #isVisible: false
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   115
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   116
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   117
                  #label: 'Load File...'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   118
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   119
                  #value: #menuLoad
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   120
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   121
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   122
                  #label: '-'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   123
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   124
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   125
                  #label: 'Save As...'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   126
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   127
                  #value: #menuSaveAs
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   128
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   129
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   130
                  #label: '-'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   131
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   132
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   133
                  #label: 'Exit'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   134
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   135
                  #value: #closeRequest
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   136
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   137
               )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   138
              nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   139
              nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   140
            )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   141
          )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   142
         #(#MenuItem
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   143
            #label: 'Workspace'
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   144
            #translateLabel: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   145
            #nameKey: #Workspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   146
            #submenu: 
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   147
           #(#Menu
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   148
              #(
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   149
               #(#MenuItem
3222
b95c86b3b511 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3214
diff changeset
   150
                  #label: 'Add Buffer'
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   151
                  #translateLabel: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   152
                  #triggerOnDown: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   153
                  #value: #addWorkspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   154
                )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   155
               #(#MenuItem
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   156
                  #label: 'Rename...'
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   157
                  #translateLabel: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   158
                  #triggerOnDown: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   159
                  #value: #renameWorkspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   160
                )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   161
               #(#MenuItem
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   162
                  #label: '-'
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   163
                )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   164
               #(#MenuItem
3222
b95c86b3b511 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3214
diff changeset
   165
                  #label: 'Remove Buffer'
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   166
                  #translateLabel: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   167
                  #triggerOnDown: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   168
                  #value: #removeWorkspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   169
                  #enabled: #canRemoveWorkspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   170
                )
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   171
               #(#MenuItem
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   172
                  #label: '-'
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   173
                )
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   174
               #(#MenuItem
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   175
                  #label: 'New SystemWorkspace'
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   176
                  #translateLabel: true
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   177
                  #value: #newSystemWorkspace
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   178
                )
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   179
               )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   180
              nil
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   181
              nil
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   182
            )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   183
          )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   184
         #(#MenuItem
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   185
            #label: 'Edit'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   186
            #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   187
            #submenu: 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   188
           #(#Menu
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   189
              #(
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   190
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   191
                  #label: 'Copy'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   192
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   193
                  #value: #copySelection
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   194
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   195
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   196
                  #label: 'Cut'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   197
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   198
                  #value: #cutSelection
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   199
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   200
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   201
                  #label: 'Paste'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   202
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   203
                  #value: #paste
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   204
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   205
               )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   206
              nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   207
              nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   208
            )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   209
          )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   210
         #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   211
            #label: 'Smalltalk'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   212
            #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   213
            #submenu: 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   214
           #(#Menu
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   215
              #(
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   216
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   217
                  #label: 'DoIt'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   218
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   219
                  #value: #doIt
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   220
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   221
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   222
                  #label: 'PrintIt'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   223
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   224
                  #value: #printIt
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   225
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   226
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   227
                  #label: 'InspectIt'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   228
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   229
                  #value: #inspectIt
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   230
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   231
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   232
                  #label: '-'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   233
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   234
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   235
                  #label: 'Browse'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   236
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   237
                  #value: #browseIt
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   238
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   239
               )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   240
              nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   241
              nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   242
            )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   243
          )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   244
         #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   245
            #label: 'Help'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   246
            #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   247
            #startGroup: #right
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   248
            #submenu: 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   249
           #(#Menu
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   250
              #(
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   251
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   252
                  #label: 'Documentation'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   253
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   254
                  #value: #openDocumentation
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   255
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   256
               #(#MenuItem
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   257
                  #label: '-'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   258
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   259
               #(#MenuItem
3282
c871f7928ff2 menu label
Claus Gittinger <cg@exept.de>
parents: 3236
diff changeset
   260
                  #label: 'About this Application...'
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   261
                  #translateLabel: true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   262
                  #value: #openAboutThisApplication
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   263
                )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   264
               )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   265
              nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   266
              nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   267
            )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   268
          )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   269
         )
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   270
        nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   271
        nil
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   272
      )
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   273
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   274
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   275
tabMenu
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   276
    "This resource specification was automatically generated
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   277
     by the MenuEditor of ST/X."
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   278
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   279
    "Do not manually edit this!! If it is corrupted,
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   280
     the MenuEditor may not be able to read the specification."
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   281
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   282
    "
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   283
     MenuEditor new openOnClass:WorkspaceApplication andSelector:#tabMenu
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   284
     (Menu new fromLiteralArrayEncoding:(WorkspaceApplication tabMenu)) startUp
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   285
    "
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   286
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   287
    <resource: #menu>
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   288
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   289
    ^ 
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   290
     #(#Menu
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   291
        #(
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   292
         #(#MenuItem
3222
b95c86b3b511 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3214
diff changeset
   293
            #label: 'Add Buffer'
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   294
            #translateLabel: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   295
            #triggerOnDown: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   296
            #value: #addWorkspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   297
          )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   298
         #(#MenuItem
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   299
            #label: 'Rename...'
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   300
            #translateLabel: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   301
            #triggerOnDown: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   302
            #value: #renameWorkspace:
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   303
          )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   304
         #(#MenuItem
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   305
            #label: '-'
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   306
          )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   307
         #(#MenuItem
3222
b95c86b3b511 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3214
diff changeset
   308
            #label: 'Remove Buffer'
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   309
            #translateLabel: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   310
            #triggerOnDown: true
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   311
            #value: #removeWorkspace:
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   312
            #enabled: #canRemoveWorkspace:
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   313
          )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   314
         )
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   315
        nil
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   316
        nil
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   317
      )
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   318
! !
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   319
3332
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   320
!WorkspaceApplication class methodsFor:'special startup'!
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   321
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   322
openSystemWorkspace
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   323
    |wsApp licenceView|
3332
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   324
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   325
    wsApp := self new.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   326
    wsApp allButOpen.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   327
    wsApp window extent:500@400.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   328
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   329
    wsApp addWindow:(HVScrollableView for:Workspace) named:'README' asFirst:false.
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   330
    wsApp loadFile:'../../README'.
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   331
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   332
    wsApp removeWorkspace:1.  "/ the original Workspace
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   333
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   334
    wsApp addWindow:(licenceView := HVScrollableView for:HTMLDocumentView) named:'License' asFirst:false.
3332
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   335
    licenceView homeDocument:'../../doc/online/english/LICENCE_STX.html'.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   336
    licenceView updateLabelFlag:false.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   337
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   338
    wsApp addWindow:(HVScrollableView for:Workspace) named:'KeyboardInfo' asFirst:false.
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   339
    wsApp loadFile:'KeyboardInfo.wsp'.
3332
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   340
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   341
    wsApp addWindow:(HVScrollableView for:Workspace) named:'Welcome' asFirst:false.
3332
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   342
    wsApp loadFile:'Hello.wsp'.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   343
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   344
    wsApp openWindow
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   345
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   346
    "
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   347
     self openSystemWorkspace
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   348
    "
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   349
! !
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   350
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   351
!WorkspaceApplication methodsFor:'accessing'!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   352
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   353
selectedWorkspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   354
    |wsIndex|
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   355
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   356
    workspaces isNil ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   357
        workspaces := OrderedCollection new.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   358
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   359
    wsIndex := self selectedWorkspaceIndexHolder value.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   360
    wsIndex == 0 ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   361
        ^ nil
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   362
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   363
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   364
    workspaces size < wsIndex ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   365
        workspaces grow:wsIndex.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   366
        workspaces at:wsIndex put:(HVScrollableView for:Workspace).
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   367
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   368
    ^ workspaces at:wsIndex
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   369
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   370
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   371
tabMenuAt:index
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   372
    |m i ws|
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   373
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   374
    m := self class tabMenu.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   375
    m := m decodeAsLiteralArray.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   376
    i := m detectItem:[:item | item value == #removeWorkspace:] ifNone:nil.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   377
    i notNil ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   378
        i argument:index.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   379
        index ~~ self selectedWorkspaceIndexHolder value ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   380
            "/ for now: if that buffer is modified,
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   381
            "/ do not allow removing.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   382
            "/ (must be brought to front, in order for check-for-modification to work)
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   383
            ws := workspaces at:index.
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   384
            (ws isKindOf:ScrollableView) ifTrue:[
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   385
                ws := ws scrolledView
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   386
            ].
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   387
            ((ws isKindOf:TextView) not
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   388
            or:[ ws modified ])
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   389
            ifTrue:[
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   390
                i disable
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   391
            ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   392
        ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   393
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   394
    i := m detectItem:[:item | item value == #renameWorkspace:] ifNone:nil.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   395
    i notNil ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   396
        i argument:index.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   397
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   398
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   399
    m findGuiResourcesIn:self.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   400
    ^ m
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   401
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   402
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   403
workspaceHolder
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   404
    workspaceHolder isNil ifTrue:[
3207
88ed12ce69a4 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3198
diff changeset
   405
        workspaceHolder := ValueHolder with:(self selectedWorkspace).
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   406
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   407
    ^ workspaceHolder
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   408
! !
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   409
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   410
!WorkspaceApplication methodsFor:'aspects'!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   411
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   412
selectedWorkspaceIndexHolder
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   413
    selectedWorkspaceIndexHolder isNil ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   414
        selectedWorkspaceIndexHolder := 1 asValue.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   415
        selectedWorkspaceIndexHolder onChangeSend:#workspaceSelectionChanged to:self.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   416
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   417
    ^ selectedWorkspaceIndexHolder.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   418
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   419
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   420
tabList
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   421
    tabList isNil ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   422
        tabList := List new.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   423
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   424
    ^ tabList.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   425
! !
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   426
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   427
!WorkspaceApplication methodsFor:'aspects - queries'!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   428
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   429
canRemoveWorkspace
3214
4c8ec2041cdb *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3208
diff changeset
   430
    ^ self canRemoveWorkspace:(self selectedWorkspaceIndexHolder value)
4c8ec2041cdb *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3208
diff changeset
   431
!
4c8ec2041cdb *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3208
diff changeset
   432
4c8ec2041cdb *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3208
diff changeset
   433
canRemoveWorkspace:idx
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   434
    ^ self tabList size > 1
3214
4c8ec2041cdb *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3208
diff changeset
   435
"/       and:[ (self workspacesTextViewAt:(self selectedWorkspaceIndexHolder value))
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   436
! !
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   437
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   438
!WorkspaceApplication methodsFor:'initialization & release'!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   439
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   440
closeRequest
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   441
    (self askIfModified:'Text was modified. Close anyway ?' yesButton:'Close') ifFalse:[
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   442
        ^ self
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   443
    ].
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   444
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   445
    ^ super closeRequest
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   446
! !
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   447
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   448
!WorkspaceApplication methodsFor:'menu actions'!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   449
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   450
addWindow:aWindow named:name
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   451
    self addWindow:aWindow named:name asFirst:false
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   452
!
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   453
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   454
addWindow:aWindow named:name asFirst:asFirst
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   455
    |tabList wsIndex newSelectedIndex|
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   456
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   457
    tabList := self tabList.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   458
    wsIndex := tabList size + 1.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   459
    wsIndex == 1 ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   460
        "/ first - add a name for the first tab
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   461
        tabList add:(self window label). "/ 'Workspace'.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   462
        wsIndex := wsIndex + 1.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   463
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   464
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   465
    workspaces grow:wsIndex.
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   466
    asFirst ifTrue:[
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   467
        tabList addFirst:(name bindWith:wsIndex).
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   468
        workspaces replaceFrom:2 to:wsIndex with:workspaces startingAt:1.
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   469
        newSelectedIndex := 1.
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   470
    ] ifFalse:[
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   471
        tabList addLast:(name bindWith:wsIndex).
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   472
        newSelectedIndex := wsIndex.
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   473
    ].
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   474
    workspaces at:newSelectedIndex put:aWindow.
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   475
    self selectedWorkspaceIndexHolder value:newSelectedIndex.   
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   476
"/    workspaceHolder value:aWindow.
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   477
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   478
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   479
addWorkspace
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   480
    self addWindow:(HVScrollableView for:Workspace) named:'Workspace%1'
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   481
!
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   482
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   483
basicInspectIt
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   484
    self inspectIt:true
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   485
!
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   486
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   487
browseIt
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   488
    self selectedWorkspacesTextView browseIt
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   489
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   490
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   491
copySelection
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   492
    self selectedWorkspacesTextView copySelection
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   493
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   494
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   495
cutSelection
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   496
    self selectedWorkspacesTextView cutSelection
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   497
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   498
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   499
doIt
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   500
    self selectedWorkspacesTextView doIt
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   501
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   502
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   503
inspectIt
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   504
    self inspectIt:false
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   505
!
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   506
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   507
inspectIt:basic
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   508
    |ws obj v|
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   509
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   510
    ws := self selectedWorkspacesTextView.
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   511
    ws
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   512
        do:(ws selection) 
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   513
        withValueDo:[:result | 
3208
853489060a4c checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3207
diff changeset
   514
                        | cls resultString|
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   515
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   516
                        basic ifFalse:[
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   517
                            cls := result inspectorClass.
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   518
                        ].
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   519
                        cls isNil ifTrue:[
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   520
                            cls := InspectorView
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   521
                        ].
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   522
                        v := cls new.
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   523
                        v inspect:result.
3208
853489060a4c checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3207
diff changeset
   524
                        "/ v allowFollow:true.
853489060a4c checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3207
diff changeset
   525
                        result isBehavior ifTrue:[
853489060a4c checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3207
diff changeset
   526
                            resultString := result name
853489060a4c checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3207
diff changeset
   527
                        ] ifFalse:[
853489060a4c checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3207
diff changeset
   528
                            resultString := result classNameWithArticle
853489060a4c checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3207
diff changeset
   529
                        ].
853489060a4c checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3207
diff changeset
   530
                        self addWindow:v named:('Inspecting: ' , resultString).
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   531
                    ]
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   532
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   533
"/    self selectedWorkspace inspectIt
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   534
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   535
3332
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   536
loadFile:aFileName 
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   537
    |file ws lbl|
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   538
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   539
    file := aFileName asFilename.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   540
    (ws := self selectedWorkspacesTextView) contents:file contentsOfEntireFile.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   541
    ws modified:false.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   542
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   543
    lbl := file withoutSuffix baseName.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   544
    tabList size <= 1 ifTrue:[
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   545
        self window label:lbl.
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   546
    ] ifFalse:[
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   547
        tabList at:self selectedWorkspaceIndexHolder value put:lbl
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   548
    ]
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   549
!
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   550
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   551
menuLoad
3332
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   552
    |file|
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   553
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   554
    (self askIfModified:'Text was modified. Load anyway ?' yesButton:'Load') ifFalse:[ ^ self].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   555
3236
896c064db8fb rename from loaded file
Claus Gittinger <cg@exept.de>
parents: 3222
diff changeset
   556
    file := Dialog requestFileName:'Load file:' default:'file.wsp'.
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   557
    file size > 0 ifTrue:[
3332
91e39add4561 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3282
diff changeset
   558
        self loadFile:file
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   559
    ]
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   560
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   561
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   562
menuSaveAs
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   563
    |file ws|
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   564
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   565
    file := Dialog requestFileName:'Save file:' default:'file.wsp'. 
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   566
    file size > 0 ifTrue:[
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   567
        (ws := self selectedWorkspacesTextView) saveAs:file.
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   568
        ws modified:false.
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   569
    ]
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   570
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   571
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   572
newSystemWorkspace
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   573
    self class openSystemWorkspace
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   574
!
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   575
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   576
openDocumentation
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   577
    "opens the documentation file"
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   578
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   579
    self openHTMLDocument: 'tools/misc/TOP.html#WORKSPACE'
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   580
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   581
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   582
paste
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   583
    self selectedWorkspacesTextView paste
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   584
!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   585
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   586
printIt
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   587
    self selectedWorkspacesTextView printIt
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   588
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   589
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   590
removeWorkspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   591
    self removeWorkspace:(self selectedWorkspaceIndexHolder value)
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   592
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   593
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   594
removeWorkspace:wsIndex
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   595
    |tabList newWsIndex|
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   596
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   597
    wsIndex == self selectedWorkspaceIndexHolder value ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   598
        (self askIfModified:'Text was modified. Remove anyway ?' yesButton:'Remove') ifFalse:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   599
            ^ self
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   600
        ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   601
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   602
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   603
    tabList := self tabList.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   604
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   605
    wsIndex == tabList size ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   606
        newWsIndex := wsIndex - 1.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   607
    ] ifFalse:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   608
        newWsIndex := wsIndex.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   609
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   610
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   611
    tabList removeIndex:wsIndex.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   612
    (workspaces at:wsIndex) destroy.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   613
    workspaces removeIndex:wsIndex.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   614
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   615
    tabList size == 1 ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   616
        self window label:(tabList at:1).
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   617
        tabList removeIndex:1
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   618
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   619
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   620
    workspaceHolder value:(workspaces at:newWsIndex).
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   621
    self selectedWorkspaceIndexHolder value:newWsIndex.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   622
    "/ to force change (update workspaceHolder - even if same index)
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   623
    self selectedWorkspaceIndexHolder changed:#value.   
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   624
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   625
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   626
renameWorkspace
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   627
    self renameWorkspace:(self selectedWorkspaceIndexHolder value)
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   628
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   629
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   630
renameWorkspace:wsIndex
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   631
    |tabList oldName newName|
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   632
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   633
    tabList := self tabList.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   634
    tabList isEmpty ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   635
        oldName := self window label
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   636
    ] ifFalse:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   637
        oldName := tabList at:wsIndex.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   638
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   639
    newName := Dialog request:(resources string:'New Name for %1:' with:oldName) initialAnswer:oldName.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   640
    newName size == 0 ifTrue:[ ^ self].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   641
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   642
    tabList notEmpty ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   643
        tabList at:wsIndex put:newName.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   644
    ].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   645
    wsIndex == self selectedWorkspaceIndexHolder value ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   646
        self window label:newName.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   647
    ].
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   648
! !
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   649
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   650
!WorkspaceApplication methodsFor:'private'!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   651
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   652
askIfModified:question yesButton:yesButtonText
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   653
    "tell user, that code has been modified - let her confirm"
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   654
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   655
    |textView|
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   656
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   657
    textView := self selectedWorkspace.
3196
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   658
    (textView isKindOf:ScrollableView) ifTrue:[
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   659
        textView := textView scrolledView
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   660
    ].
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   661
    (textView isKindOf:TextView) ifFalse:[
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   662
        ^ true
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   663
    ].
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   664
    (textView modified not 
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   665
    or:[textView contentsWasSaved
86540e27b2e0 inspecting
Claus Gittinger <cg@exept.de>
parents: 3195
diff changeset
   666
    or:[textView contents withoutSeparators isEmpty]]) ifTrue:[
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   667
        ^ true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   668
    ].
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   669
    (Dialog 
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   670
        confirm:(resources string:question) withCRs
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   671
        yesLabel:(resources at:yesButtonText)
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   672
        noLabel:(resources at:'Cancel'))
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   673
    ifTrue:[
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   674
        "/ reset modified flag so question is asked only once
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   675
        textView modified:false.
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   676
        ^ true
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   677
    ].
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   678
    ^ false
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   679
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   680
    "Modified: 2.10.1997 / 14:23:47 / stefan"
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   681
!
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   682
3198
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   683
selectedWorkspacesTextView
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   684
    |textView|
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   685
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   686
    textView := self selectedWorkspace.
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   687
    (textView isKindOf:ScrollableView) ifTrue:[
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   688
        textView := textView scrolledView
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   689
    ].
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   690
    (textView isKindOf:TextView) ifTrue:[
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   691
        ^ textView
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   692
    ].
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   693
    ^ textView workspace
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   694
!
1c34cd12b80b *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 3196
diff changeset
   695
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   696
workspaceSelectionChanged
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   697
    |wsIndex windowLabel v|
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   698
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   699
    "/ self selected
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   700
    self workspaceHolder value:(v := self selectedWorkspace).
3193
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   701
    wsIndex := self selectedWorkspaceIndexHolder value.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   702
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   703
    wsIndex ~~ 0 ifTrue:[
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   704
        windowLabel := tabList at:wsIndex ifAbsent:nil.
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   705
        windowLabel notNil ifTrue:[self window label:windowLabel].
e35a94b5c2a0 multiple tabs
Claus Gittinger <cg@exept.de>
parents: 3191
diff changeset
   706
    ].
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   707
! !
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   708
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   709
!WorkspaceApplication class methodsFor:'documentation'!
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   710
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   711
version
3334
3c6e88d38b59 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 3332
diff changeset
   712
    ^ '$Header: /cvs/stx/stx/libtool/WorkspaceApplication.st,v 1.15 2001-10-23 22:14:50 cg Exp $'
3154
859688212191 initial checkin
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   713
! !