SynchronousWindowSensor.st
changeset 9043 a69c50e2542c
parent 8987 bc8b27e8c34d