# HG changeset patch
# User Claus Gittinger <cg@exept.de>
# Date 1537522156 -7200
# Node ID 6e3fbb73bce95f65e836ecbacd11037d21e0cdc1
# Parent  9cbe72a42b4aaa1da127afda5f21d2e76363aaa1
#UI_ENHANCEMENT by cg
class: MultiViewToolApplication
changed: #removeWorkspace:

diff -r 9cbe72a42b4a -r 6e3fbb73bce9 MultiViewToolApplication.st
--- a/MultiViewToolApplication.st	Fri Sep 21 11:28:17 2018 +0200
+++ b/MultiViewToolApplication.st	Fri Sep 21 11:29:16 2018 +0200
@@ -1179,7 +1179,7 @@
     |tabList newWsIndex|
 
     wsIndex == self selectedWorkspaceIndexHolder value ifTrue:[
-        (self askIfModified:'Text was modified. Remove buffer anyway ?' yesButton:'Remove Buffer') ifFalse:[
+        (self askIfModified:'Text was modified. Remove page anyway ?' yesButton:'Remove Buffer') ifFalse:[
             ^ self
         ].
     ].
@@ -1204,7 +1204,9 @@
     workspaceHolder value:(workspaces at:newWsIndex).
     self selectedWorkspaceIndexHolder value:newWsIndex.
     "/ to force change (update workspaceHolder - even if same index)
-    self selectedWorkspaceIndexHolder changed:#value.   
+    self selectedWorkspaceIndexHolder changed:#value.
+
+    "Modified: / 21-09-2018 / 11:25:30 / Claus Gittinger"
 !
 
 renameWorkspace