Simon Tatham
5390aef3fc
GTK: make explicit text controls selectable.
...
This doesn't apply to every GtkLabel I instantiate: only the ones
constructed as part of implementing the cross-platform CTRL_TEXT.
Those labels contain information that the dialog box is deliberately
communicating to the user, so it seems a sensible idea to make sure
they can be copy-pasted.
By default, this also seems to cause them to become able to take the
input focus, so I've reverted that. You can select them with the
mouse, but I think having them appear in the tab order is an
awkwardness too far, since they're not active in any other way.
2022-05-07 12:02:23 +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-07 12:02:23 +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-03-29 18:06:14 +01:00
2022-01-22 15:51:31 +00:00
2022-01-22 15:51:31 +00:00