diff options
| author | Pietro Gagliardi <[email protected]> | 2014-05-29 11:49:59 -0400 |
|---|---|---|
| committer | Pietro Gagliardi <[email protected]> | 2014-05-29 11:49:59 -0400 |
| commit | 20a7e4fb62a39d4e9d251dd7b6bc283fe2c061f8 (patch) | |
| tree | ffc275f3791eeea4944c51c65b7506bcf422a90e /tools | |
| parent | 1b23de9c786b9f32449ff0a6f02762b62d6732f8 (diff) | |
Implemented the new Modifiers behavior on the GTK+ backend. In addition, removed some code commented out long ago and restructured a few functions for the change.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions