diff options
| author | Juan Linietsky <reduzio@gmail.com> | 2017-01-08 17:35:11 -0300 |
|---|---|---|
| committer | Juan Linietsky <reduzio@gmail.com> | 2017-01-08 17:41:32 -0300 |
| commit | 1b0930c435b3aa4a3ab41b4936b9ceaa2f1da775 (patch) | |
| tree | 9f1449d05875528d075f723520905883121d9337 /platform/x11/key_mapping_x11.h | |
| parent | 8b7a86ec7b7bc4bb115f45545aa062cba47022bc (diff) | |
Renamed finished to animation_finished, also passes the animation name when finished
Diffstat (limited to 'platform/x11/key_mapping_x11.h')
0 files changed, 0 insertions, 0 deletions