Simon Tatham
8dfc39bfb4
gtk: make Ctrl processing notice if use_ucsoutput is true.
...
Again in the GDK Broadway backend, where we never get a non-Unicode
translation of any keystroke: when we come to the code that handles
Ctrl+letter (and other symbols), we were basing the Ctrl transform on
output[1], that is, the non-Unicode translation we had so far. But we
didn't have one.
Now we check the use_ucsoutput flag to decide which of output and
ucsoutput to start from, and as a result, Ctrl+keys works again on
Broadway.
2020-11-24 20:41:25 +00:00
..
2014-02-22 18:01:32 +00:00
2018-11-03 13:47:29 +00:00
2019-12-24 13:47:46 +00:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-11-02 08:26:14 +00:00
2020-02-16 11:26:21 +00:00
2020-08-13 21:08:53 +01:00
2020-08-13 21:08:53 +01:00
2020-06-21 16:39:47 +01:00
2018-11-03 13:45:00 +00:00
2018-11-03 13:45:00 +00:00
2020-11-24 20:41:25 +00:00
2017-12-20 10:04:02 +00:00
2019-03-31 10:35:10 +01:00
2017-11-26 11:45:48 +00:00
2019-09-08 20:29:21 +01:00
2017-11-26 11:45:48 +00:00
2019-09-08 20:29:21 +01:00
2020-02-07 19:14:32 +00:00
2019-10-14 19:42:37 +01:00
2020-01-27 19:40:50 +00:00
2020-06-21 16:39:47 +01:00
2020-03-10 21:27:57 +00:00
2020-02-07 19:14:32 +00:00
2020-02-09 08:51:37 +00:00
2020-03-10 21:11:14 +00:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2020-03-10 21:06:29 +00:00
2017-02-15 19:32:42 +00:00
2019-09-08 20:29:21 +01:00
2018-11-03 13:45:00 +00:00
2020-06-14 15:49:36 +01:00
2020-04-18 13:33:51 +01:00
2020-06-14 15:49:36 +01:00
2019-09-08 20:29:21 +01:00
2020-02-07 19:17:45 +00:00
2020-11-04 21:50:47 +00:00
2020-02-02 10:02:10 +00:00
2020-06-27 08:11:22 +01:00
2020-02-02 10:02:10 +00:00
2019-09-08 20:29:21 +01:00
2020-06-14 15:49:36 +01:00
2020-11-04 21:50:47 +00:00
2020-06-21 16:39:47 +01:00
2020-11-04 21:50:47 +00:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2020-02-23 16:36:27 +00:00
2020-02-09 08:51:37 +00:00
2020-06-14 15:49:36 +01:00
2020-10-09 19:14:57 +01:00
2020-01-29 06:44:18 +00:00
2018-05-09 09:21:27 +01:00
2019-09-08 20:29:21 +01:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00