--- 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.
     ].