equal
deleted
inserted
replaced
1700 |
1700 |
1701 self flushEventsFor:aView. |
1701 self flushEventsFor:aView. |
1702 self pushDamageEvent:(WindowEvent saveAndTerminateView:aView) |
1702 self pushDamageEvent:(WindowEvent saveAndTerminateView:aView) |
1703 |
1703 |
1704 "Modified: 18.1.1997 / 14:17:37 / cg" |
1704 "Modified: 18.1.1997 / 14:17:37 / cg" |
|
1705 ! |
|
1706 |
|
1707 selectionClear:selectionID time:time view:aView |
|
1708 "the selection owner has changed (someone else has the selection)" |
|
1709 |
|
1710 self pushEvent:(WindowEvent::SelectionClearEvent new |
|
1711 for:aView |
|
1712 type:#selectionClear: |
|
1713 arguments:(Array with:selectionID)) |
1705 ! |
1714 ! |
1706 |
1715 |
1707 terminateView:aView |
1716 terminateView:aView |
1708 "view should terminate (from window manager) - this is sent from the device (Display)" |
1717 "view should terminate (from window manager) - this is sent from the device (Display)" |
1709 |
1718 |
3084 ! ! |
3093 ! ! |
3085 |
3094 |
3086 !WindowSensor class methodsFor:'documentation'! |
3095 !WindowSensor class methodsFor:'documentation'! |
3087 |
3096 |
3088 version |
3097 version |
3089 ^ '$Header: /cvs/stx/stx/libview/WindowSensor.st,v 1.205 2002-09-18 09:55:42 penk Exp $' |
3098 ^ '$Header: /cvs/stx/stx/libview/WindowSensor.st,v 1.206 2002-10-31 20:20:59 cg Exp $' |
3090 ! ! |
3099 ! ! |
|
3100 |
3091 WindowSensor initialize! |
3101 WindowSensor initialize! |