diff options
| author | David Herrmann <dh.herrmann@gmail.com> | 2014-11-30 14:37:12 +0100 |
|---|---|---|
| committer | David Herrmann <dh.herrmann@gmail.com> | 2014-11-30 14:37:57 +0100 |
| commit | 5eb9e762eab5faa1bc995a39ebbb8fc694755c3e (patch) | |
| tree | 47c5278a97429f262520f417d010cea1f970f260 /man | |
| parent | d0a2e1c364320b862a6aae099afa106ea59bb84c (diff) | |
terminal/screen: fix GL/GR double-mapping
We must not call screen_map() multiple times for the same input char. Fix
the double-mapping for GL/GR maps are correctly applied.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions