WorkspaceApplication.st
changeset 15890 30c9ab7ca3e7
parent 15833 b058e6078d5a
child 15894 e69292bfd33c
child 16057 eb19b75d3b87
--- a/WorkspaceApplication.st	Wed Oct 07 01:09:22 2015 +0200
+++ b/WorkspaceApplication.st	Wed Oct 07 01:25:06 2015 +0200
@@ -416,100 +416,102 @@
     <resource: #canvas>
 
     ^ 
-     #(FullSpec
-        name: windowSpec
-        window: 
-       (WindowSpec
-          label: 'Workspace'
-          name: 'Workspace'
-          min: (Point 10 10)
-          bounds: (Rectangle 0 0 640 480)
-          menu: mainMenu
-        )
-        component: 
-       (SpecCollection
-          collection: (
-           (ViewSpec
-              name: 'ToolBar'
-              layout: (LayoutFrame 0 0 0 0 0 1 32 0)
-              visibilityChannel: toolBarVisibleHolder
-              component: 
-             (SpecCollection
-                collection: (
-                 (ActionButtonSpec
-                    label: 'hideToolBarIcon'
-                    name: 'HideToolBarButton'
-                    layout: (LayoutFrame 0 0 0 0 13 0 0 1)
-                    activeHelpKey: hideToolBar
-                    hasCharacterOrientedLabel: false
-                    translateLabel: true
-                    model: hideToolbar
-                    postBuildCallback: hideToolBarButtonCreated:
-                  )
-                 (NonScrollableArbitraryComponentSpec
-                    name: 'ToolBarView'
-                    layout: (LayoutFrame 13 0.0 0 0.0 0 1.0 0 1.0)
-                    "/ level: 1
-                    visibilityChannel: toolBarVisibleHolder
-                    component: toolBarView
-                  )
+    #(FullSpec
+       name: windowSpec
+       window: 
+      (WindowSpec
+         label: 'Workspace'
+         name: 'Workspace'
+         min: (Point 10 10)
+         bounds: (Rectangle 0 0 640 480)
+         menu: mainMenu
+       )
+       component: 
+      (SpecCollection
+         collection: (
+          (ViewSpec
+             name: 'ToolBar'
+             layout: (LayoutFrame 0 0 0 0 0 1 32 0)
+             level: #'application.toolbarLevel'
+             visibilityChannel: toolBarVisibleHolder
+             component: 
+            (SpecCollection
+               collection: (
+                (ActionButtonSpec
+                   label: 'hideToolBarIcon'
+                   name: 'HideToolBarButton'
+                   layout: (LayoutFrame 0 0 0 0 13 0 0 1)
+                   activeHelpKey: hideToolBar
+                   hasCharacterOrientedLabel: false
+                   translateLabel: true
+                   model: hideToolbar
+                   postBuildCallback: hideToolBarButtonCreated:
+                 )
+                (NonScrollableArbitraryComponentSpec
+                   name: 'ToolBarView'
+                   layout: (LayoutFrame 13 0.0 0 0.0 0 1.0 0 1.0)
+                   visibilityChannel: toolBarVisibleHolder
+                   component: toolBarView
                  )
-               
-              )
-            )
-           (ViewSpec
-              name: 'EditToolBar'
-              layout: (LayoutFrame 0 0 32 0 0 1 64 0)
-              visibilityChannel: editToolBarVisibleHolder
-              component: 
-             (SpecCollection
-                collection: (
-                 (ActionButtonSpec
-                    label: 'hideToolBarIcon'
-                    name: 'HideEditToolBarButton'
-                    layout: (LayoutFrame 0 0 0 0 13 0 0 1)
-                    activeHelpKey: hideEditToolBar
-                    hasCharacterOrientedLabel: false
-                    translateLabel: true
-                    model: hideEditToolbar
-                    postBuildCallback: hideToolBarButtonCreated:
-                  )
-                 (MenuPanelSpec
-                    name: 'EditToolBar1'
-                    layout: (LayoutFrame 13 0.0 0 0.0 0 1.0 0 1.0)
-                    visibilityChannel: editToolBarVisibleHolder
-                    menu: editToolBarMenu
-                    textDefault: true
-                  )
+                )
+              
+             )
+           )
+          (ViewSpec
+             name: 'EditToolBar'
+             layout: (LayoutFrame 0 0 32 0 0 1 64 0)
+             visibilityChannel: editToolBarVisibleHolder
+             component: 
+            (SpecCollection
+               collection: (
+                (ActionButtonSpec
+                   label: 'hideToolBarIcon'
+                   name: 'HideEditToolBarButton'
+                   layout: (LayoutFrame 0 0 0 0 13 0 0 1)
+                   activeHelpKey: hideEditToolBar
+                   hasCharacterOrientedLabel: false
+                   translateLabel: true
+                   model: hideEditToolbar
+                   postBuildCallback: hideToolBarButtonCreated:
+                 )
+                (MenuPanelSpec
+                   name: 'EditToolBar1'
+                   layout: (LayoutFrame 13 0.0 0 0.0 0 1.0 0 1.0)
+                   visibilityChannel: editToolBarVisibleHolder
+                   menu: editToolBarMenu
+                   textDefault: true
                  )
-               
-              )
-            )
-           (NoteBookViewSpec
-              name: 'NoteBook'
-              layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 -26 1.0)
-              model: selectedWorkspaceIndexHolder
-              menu: tabList
-              useIndex: true
-              accessTabMenuAction: tabMenuAt:
-              destroyTabAction: destroyTab:
-              canvas: workspaceHolder
-              canvasInset: 0
-              keepCanvasAlive: true
-              tabLevel: 1
-            )
-           (UISubSpecification
-              name: 'infoBarSubSpec'
-              layout: (LayoutFrame 0 0.0 -26 1 0 1.0 0 1.0)
-              visibilityChannel: infoVisibleHolder
-              majorKey: WorkspaceApplication
-              minorKey: windowSpecForInfoBar
-              keepSpaceForOSXResizeHandleH: true
-            )
+                )
+              
+             )
            )
-         
-        )
-      )
+          (NoteBookViewSpec
+             name: 'NoteBook'
+             layout: (LayoutFrame 0 0.0 0 0.0 0 1.0 -26 1.0)
+             model: selectedWorkspaceIndexHolder
+             menu: tabList
+             useIndex: true
+             accessTabMenuAction: tabMenuAt:
+             translateLabel: true
+             destroyTabAction: destroyTab:
+             canvas: workspaceHolder
+             canvasInset: 0
+             keepCanvasAlive: true
+             tabLevel: 1
+           )
+          (UISubSpecification
+             name: 'infoBarSubSpec'
+             layout: (LayoutFrame 0 0.0 -26 1 -16 1.0 0 1.0)
+             level: #'infobar.level'
+             visibilityChannel: infoVisibleHolder
+             majorKey: WorkspaceApplication
+             minorKey: windowSpecForInfoBar
+             keepSpaceForOSXResizeHandleH: true
+           )
+          )
+        
+       )
+     )
 !
 
 windowSpecForInfoBar