SynchronousWindowSensor.st
changeset 8142 5c9e388b60a3
parent 7667 03e064bb2153
child 7715 925b859e1758
child 8336 ab27804d3b46