gui: Do not decode the pressed key multiple times.
authorAndre Noll <maan@tuebingen.mpg.de>
Tue, 28 Apr 2020 19:58:47 +0000 (21:58 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 17 Sep 2020 15:43:02 +0000 (17:43 +0200)
commit62c0894fbb589dd45e69b7d9ef1fd152a9960d62
tree47df56f12478344ae2a37c482042353b65e3871e
parentf3bd0c8d3d83ca34b21095831938cec915da5a41
gui: Do not decode the pressed key multiple times.

Although the key name is a loop invariant, we recompute it during
every iteration of the loop. Fix this.
gui.c