diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-07-21 17:29:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-07-21 17:29:45 +0200 |
| commit | d723e5a62ff10d338b8a2848e5a7a43a81233c24 (patch) | |
| tree | 96b4aac1dc2795ecb49ecf0c149be43890794e1e /tools/editor | |
| parent | 4abc945466c69426cf4c00ab87d61b927ef1639d (diff) | |
| parent | 5c355a63d3a86039a8f1a88e6ea508209de97dbc (diff) | |
Merge pull request #5560 from vnen/os-request-attention
Add OS.request_attention() for Windows
Diffstat (limited to 'tools/editor')
0 files changed, 0 insertions, 0 deletions