--- a/TabListEditor.st Mon Mar 30 14:36:23 1998 +0200
+++ b/TabListEditor.st Mon Mar 30 14:37:41 1998 +0200
@@ -53,6 +53,7 @@
[author:]
Claus Atzkern, eXept Software AG
+ Thomas Zwick, eXept Software AG
"
@@ -280,11 +281,11 @@
#window:
#(#WindowSpec
#name: 'Tab List Editor'
- #layout: #(#LayoutFrame 516 0 302 0 984 0 630 0)
+ #layout: #(#LayoutFrame 117 0 340 0 586 0 669 0)
#label: 'Tab List Editor'
- #min: #(#Point 10 10)
+ #min: #(#Point 440 280)
#max: #(#Point 1152 900)
- #bounds: #(#Rectangle 516 302 985 631)
+ #bounds: #(#Rectangle 117 340 587 670)
#menu: #menu
#usePreferredExtent: false
)
@@ -503,11 +504,6 @@
)
)
#(#MenuItem
- #label: 'History'
- #activeHelpKey: #history
- #submenuChannel: #menuHistory
- )
- #(#MenuItem
#label: 'Settings'
#submenu:
#(#Menu
@@ -522,6 +518,11 @@
)
)
#(#MenuItem
+ #label: 'History'
+ #activeHelpKey: #history
+ #submenuChannel: #menuHistory
+ )
+ #(#MenuItem
#label: 'Help'
#startGroup: #right
#activeHelpKey: #help
@@ -1028,7 +1029,8 @@
"copy selected tab
"
selectedIndex ~~ 0 ifTrue:[
- self clipboard:(listOfTabs at:selectedIndex) deepCopy
+ self clipboard:(listOfTabs at:selectedIndex) deepCopy.
+ self updateAllToolInstances.
]
!
@@ -1068,6 +1070,7 @@
].
self selectionHolder value:index.
self listOfLabels isEmpty ifTrue: [self canShowTestMode value: false].
+ self updateAllToolInstances.
modified := true.
].