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

31 KiB

Raw Blame History

View Raw