equal
deleted
inserted
replaced
813 in case a widget has changed its mind |
813 in case a widget has changed its mind |
814 (typically: an undo menu button function might wonna do this, |
814 (typically: an undo menu button function might wonna do this, |
815 to show changed info)" |
815 to show changed info)" |
816 |
816 |
817 |screenPos view| |
817 |screenPos view| |
818 |
818 |
|
819 "/ Debugging := false. |
|
820 "/ Debugging := true. |
819 screenPos := Display pointerPosition. |
821 screenPos := Display pointerPosition. |
820 Debugging == true ifTrue:[ |
822 Debugging == true ifTrue:[ |
821 '----------------' infoPrintCR. |
823 '----------------' infoPrintCR. |
822 'pos: ' infoPrint. screenPos infoPrintCR. |
824 'pos: ' infoPrint. screenPos infoPrintCR. |
823 ]. |
825 ]. |