SynchronousWindowSensor.st
changeset 9038 dd177fea6408
parent 8987 bc8b27e8c34d