Gerd Hoffmann
7027bdd77f
ui: add show-cursor option
...
When enabled, this forces showing the mouse cursor,
i.e. do not hide the pointer on mouse grabs.
Defaults to off.
Signed-off-by: Gerd Hoffmann <kraxel@redhat.com>
Reviewed-by: Markus Armbruster <armbru@redhat.com>
Reviewed-by: Ján Tomko <jtomko@redhat.com>
2020-02-12 13:25:17 +01:00
..
2020-02-06 14:35:57 +01:00
2019-02-26 15:32:18 +00:00
2020-01-30 20:59:41 +00:00
2020-02-05 17:22:13 -06:00
2019-03-11 16:55:52 +01:00
2019-08-21 13:24:01 +02:00
2018-12-12 11:16:49 +00:00
2019-07-02 13:37:00 +02:00
2019-08-16 13:31:51 +02:00
2019-10-22 13:54:13 +02:00
2018-06-29 14:20:56 +02:00
2019-11-01 08:49:10 +00:00
2020-01-05 07:03:03 -05:00
2020-01-14 11:01:58 +01:00
2019-10-29 18:55:26 -04:00
2019-07-02 13:37:00 +02:00
2019-10-22 13:54:14 +02:00
2019-10-29 18:55:26 -04:00
2019-09-24 11:03:44 +02:00
2017-11-17 18:21:30 +01:00
2019-08-16 13:31:52 +02:00
2019-09-28 17:17:18 +02:00
2019-06-11 20:22:09 +02:00
2019-06-12 13:20:20 +02:00
2019-07-02 07:19:57 +02:00
2019-09-28 16:51:30 +02:00
2019-06-12 13:20:20 +02:00
2019-02-18 14:44:05 +01:00
2019-06-12 13:20:20 +02:00
2019-06-12 13:20:20 +02:00
2020-01-24 20:59:16 +01:00
2018-12-22 11:09:56 +02:00
2017-03-16 07:13:02 +01:00
2020-01-24 20:59:07 +01:00
2019-08-15 13:22:13 -05:00
2019-06-12 13:20:20 +02:00
2019-09-19 11:57:34 +02:00
2020-02-02 14:07:57 +11:00
2019-03-22 16:18:07 +00:00
2017-09-04 13:09:12 +02:00
2019-08-16 16:28:03 -04:00
2020-02-12 13:25:17 +01:00