equal
deleted
inserted
replaced
2434 ! |
2434 ! |
2435 |
2435 |
2436 raiseTabView |
2436 raiseTabView |
2437 |
2437 |
2438 self isLayoutToolSelected ifTrue:[ |
2438 self isLayoutToolSelected ifTrue:[ |
2439 layoutCanvas raise |
2439 helpCanvas unmap. |
|
2440 specCanvas unmap. |
|
2441 layoutCanvas realize. |
2440 ] ifFalse:[ |
2442 ] ifFalse:[ |
2441 self isHelpToolSelected ifTrue:[ |
2443 self isHelpToolSelected ifTrue:[ |
2442 helpCanvas raise |
2444 layoutCanvas unmap. |
2443 ] ifFalse:[ |
2445 specCanvas unmap. |
2444 self specTool selection:tabSelection. |
2446 helpCanvas realize. |
2445 specCanvas raise |
2447 ] ifFalse:[ |
2446 ] |
2448 layoutCanvas unmap. |
|
2449 helpCanvas unmap. |
|
2450 specCanvas realize. |
|
2451 specCanvas application selection:tabSelection. |
|
2452 ] |
2447 ] |
2453 ] |
|
2454 |
2448 ! |
2455 ! |
2449 |
2456 |
2450 raiseUIView:aView |
2457 raiseUIView:aView |
2451 "raise the view which is an application or top view" |
2458 "raise the view which is an application or top view" |
2452 |
2459 |