SynchronousWindowSensor.st
changeset 8145 83f792c6d9b1
parent 7667 03e064bb2153
child 7715 925b859e1758
child 8336 ab27804d3b46
equal deleted inserted replaced
8144:abf53adf9239 8145:83f792c6d9b1