forked from aniani/vim
patch 9.0.1495: GTK3: hiding the mouse pointer does not work
Problem: GTK3: hiding the mouse pointer does not work. (Rory O’Kane) Solution: Set alpha level to zero. (Kenny Stauffer, closes #12293, closes #3256)
This commit is contained in:
committed by
Bram Moolenaar
parent
bf1b713202
commit
660eb9f9db
@@ -695,6 +695,8 @@ static char *(features[]) =
|
||||
|
||||
static int included_patches[] =
|
||||
{ /* Add new patch number below this line */
|
||||
/**/
|
||||
1495,
|
||||
/**/
|
||||
1494,
|
||||
/**/
|
||||
|
||||
Reference in New Issue
Block a user