Chris 569a135445 Added window geometry getter		2016-12-26 22:50:42 +01:00
..
Window.php	Added window geometry getter	2016-12-26 22:50:42 +01:00
WindowList.php	Window titles and windowlist visible matching	2016-12-26 22:44:00 +01:00
WindowSelector.php	Initial commit	2016-12-26 20:54:28 +01:00