diff options
| author | Wilson E. Alvarez <wilson.e.alvarez1@gmail.com> | 2022-06-29 21:55:40 -0400 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-06-30 12:14:46 +0200 |
| commit | aadf831a6764374485891f736ec9cde7f5916eea (patch) | |
| tree | 5eb2132eab77db2751b36b595ef2b15566695ad9 /misc/scripts/copyright_headers.py | |
| parent | 62994bec2a159a1fdc538a0042c881507757e954 (diff) | |
Properly check for fullscreen toggle made through the Window Manager
Fixes #40007.
Co-authored-by: Rémi Verschelde <rverschelde@gmail.com>
Diffstat (limited to 'misc/scripts/copyright_headers.py')
0 files changed, 0 insertions, 0 deletions