Commit Graph

4 Commits

Author SHA1 Message Date
Joao Moreno
2dac869dd9 api: WindowState 2017-07-20 18:20:57 +02:00
Joao Moreno
15e4c72301 assume window starts focused 2017-07-20 15:03:16 +02:00
Joao Moreno
d17e8750e3 dead are getters, long live readonly 2017-07-20 15:01:18 +02:00
Joao Moreno
6987cb0eb0 API: window.isFocused, window.onDidChangeWindowFocus
fixes #18263
2017-07-20 14:45:41 +02:00