diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-09-22 15:33:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-09-22 15:33:15 +0200 |
| commit | 53c1c7ff8f062529bcdceabd62416c6f483ca523 (patch) | |
| tree | d60ce4314eaf54d91019d7a4dbba69295de15896 /tools/editor_fonts | |
| parent | a63167459c6972f3750bf22799897a711e7556ba (diff) | |
| parent | 6fcf2b2bd87e16c9cfc55f3c1293797c24124e85 (diff) | |
Merge pull request #6584 from Hinsbart/mod_release
x11: Fix event.is_action() for release of modifier keys
Diffstat (limited to 'tools/editor_fonts')
0 files changed, 0 insertions, 0 deletions