Simon Tatham
386b094e3f
Fix GTK1 build.
...
Commit 5390aef3fc7deca broke it, because GTK1 has neither
gtk_label_set_selectable nor gtk_widget_set_can_focus. Happily, those
are both more or less optional (only a minor UI awkwardness arises
from not having them), so I'll just condition them out.
2022-05-12 19:57:10 +01:00
..
2022-01-22 15:51:31 +00:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2022-05-01 10:16:19 +01:00
2022-05-05 19:04:34 +01:00
2022-05-05 19:04:34 +01:00
2022-05-01 10:00:32 +01:00
2022-05-01 10:00:32 +01:00
2022-01-22 15:51:31 +00:00
2022-05-12 19:57:10 +01:00
2022-01-22 15:51:31 +00:00
2021-04-26 18:00:01 +01:00
2022-01-22 15:51:31 +00:00
2019-11-02 08:26:14 +00:00
2018-11-03 13:45:00 +00:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2022-05-01 10:16:19 +01:00
2022-04-29 12:01:23 +01:00
2022-01-22 15:51:31 +00:00
2022-01-26 20:02:15 +00:00
2021-04-26 18:00:01 +01:00
2017-12-20 10:04:02 +00:00
2022-01-22 15:51:31 +00:00
2021-04-26 18:00:01 +01:00
2022-05-01 10:11:03 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00
2021-11-19 11:32:47 +00:00
2021-04-26 18:00:01 +01:00
2021-11-26 17:58:55 +00:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2017-11-26 11:45:48 +00:00
2022-01-22 15:51:31 +00:00
2019-09-08 20:29:21 +01:00
2021-12-20 13:14:40 +00:00
2021-04-26 18:00:01 +01:00
2021-04-26 18:00:01 +01:00
2017-11-26 11:45:48 +00:00
2022-01-22 15:51:31 +00:00
2019-09-08 20:29:21 +01:00
2021-10-30 17:28:28 +01:00
2022-01-22 15:51:31 +00:00
2021-04-26 18:00:01 +01:00
2021-10-30 18:19:56 +01:00
2022-05-02 11:17:58 +01:00
2022-03-12 18:51:21 +00:00
2021-11-19 11:32:47 +00:00
2022-01-22 15:51:31 +00:00
2022-01-11 23:57:39 +00:00
2022-01-22 15:51:31 +00:00
2022-05-12 19:38:45 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00