equal
deleted
inserted
replaced
1177 |
1177 |
1178 removeWorkspace:wsIndex |
1178 removeWorkspace:wsIndex |
1179 |tabList newWsIndex| |
1179 |tabList newWsIndex| |
1180 |
1180 |
1181 wsIndex == self selectedWorkspaceIndexHolder value ifTrue:[ |
1181 wsIndex == self selectedWorkspaceIndexHolder value ifTrue:[ |
1182 (self askIfModified:'Text was modified. Remove buffer anyway ?' yesButton:'Remove Buffer') ifFalse:[ |
1182 (self askIfModified:'Text was modified. Remove page anyway ?' yesButton:'Remove Buffer') ifFalse:[ |
1183 ^ self |
1183 ^ self |
1184 ]. |
1184 ]. |
1185 ]. |
1185 ]. |
1186 |
1186 |
1187 tabList := self tabList. |
1187 tabList := self tabList. |
1202 ]. |
1202 ]. |
1203 |
1203 |
1204 workspaceHolder value:(workspaces at:newWsIndex). |
1204 workspaceHolder value:(workspaces at:newWsIndex). |
1205 self selectedWorkspaceIndexHolder value:newWsIndex. |
1205 self selectedWorkspaceIndexHolder value:newWsIndex. |
1206 "/ to force change (update workspaceHolder - even if same index) |
1206 "/ to force change (update workspaceHolder - even if same index) |
1207 self selectedWorkspaceIndexHolder changed:#value. |
1207 self selectedWorkspaceIndexHolder changed:#value. |
|
1208 |
|
1209 "Modified: / 21-09-2018 / 11:25:30 / Claus Gittinger" |
1208 ! |
1210 ! |
1209 |
1211 |
1210 renameWorkspace |
1212 renameWorkspace |
1211 self renameWorkspace:(self selectedWorkspaceIndexHolder value) |
1213 self renameWorkspace:(self selectedWorkspaceIndexHolder value) |
1212 ! |
1214 ! |