equal
deleted
inserted
replaced
1 "{ Encoding: utf8 }" |
|
2 |
|
3 " |
1 " |
4 COPYRIGHT (c) 1993 by Claus Gittinger |
2 COPYRIGHT (c) 1993 by Claus Gittinger |
5 All Rights Reserved |
3 All Rights Reserved |
6 |
4 |
7 This software is furnished under a license and may be used |
5 This software is furnished under a license and may be used |
2500 ! ! |
2498 ! ! |
2501 |
2499 |
2502 !WindowSensor methodsFor:'event simulation'! |
2500 !WindowSensor methodsFor:'event simulation'! |
2503 |
2501 |
2504 enqueueMessage:selector for:someone arguments:argList |
2502 enqueueMessage:selector for:someone arguments:argList |
2505 "/ |
2503 "if such a message is already in the queue, ignore it. |
2506 "/ if such a message is already in the queue, ignore it. |
2504 Otherwise push it as an event, to be handled when my thread is |
2507 "/ Otherwise push it as an event, to be handled when my thread is |
2505 back in the event loop." |
2508 "/ back in the event loop. |
2506 |
2509 "/ |
|
2510 self criticalUserEventQueueAccess:[ |
2507 self criticalUserEventQueueAccess:[ |
2511 (self hasUserEvent:selector for:someone withArguments:argList) ifFalse:[ |
2508 (self hasUserEvent:selector for:someone withArguments:argList) ifFalse:[ |
2512 self pushUserEvent:selector for:someone withArguments:argList |
2509 self pushUserEvent:selector for:someone withArguments:argList |
2513 ]. |
2510 ]. |
2514 ]. |
2511 ]. |