Tomaka17 6d9c5eb2bd should_close() renamed to is_closed()		2014-07-30 13:29:28 +02:00
..
window.rs	should_close() renamed to is_closed()	2014-07-30 13:29:28 +02:00