ref: ebf31f52b0dae356c7ad515b3e2e66672bd69a4e
parent: e59f820383c9941640d04d7b23e5d964f7ad6ff6
author: Jonas Kölker <jonaskoelker@yahoo.com>
date: Mon Sep 21 14:22:34 EDT 2015
Slant: hide keyboard cursor when using the mouse.
--- a/slant.c
+++ b/slant.c
@@ -1705,6 +1705,7 @@
y = FROMCOORD(y);
if (x < 0 || y < 0 || x >= w || y >= h)
return NULL;
+ ui->cur_visible = 0;
} else if (IS_CURSOR_SELECT(button)) {
if (!ui->cur_visible) {
ui->cur_visible = 1;