# HG changeset patch # User tz # Date 891261461 -7200 # Node ID 8f8767c6f32f8bdeff393b63a9a3e2e186efb9b6 # Parent 03bc27132916a5713e5ff874efc80f934bc9ac6c update other instances if clipboarding diff -r 03bc27132916 -r 8f8767c6f32f TabListEditor.st --- 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. ].