1
0
mirror of https://github.com/rkd77/elinks.git synced 2024-11-04 08:17:17 -05:00

Merge pull request #51 from sgerwk/master

do not enable mouse from keyboard initialization if mouse is disabled
This commit is contained in:
rkd77 2020-06-24 19:31:02 +02:00 committed by GitHub
commit 9df1456045
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -174,7 +174,8 @@ send_init_sequence(int h, int altscreen)
write_sequence(h, INIT_ALT_SCREEN_SEQ); write_sequence(h, INIT_ALT_SCREEN_SEQ);
} }
#ifdef CONFIG_MOUSE #ifdef CONFIG_MOUSE
send_mouse_init_sequence(h); if (! get_opt_bool("ui.mouse_disable", NULL))
send_mouse_init_sequence(h);
#endif #endif
write_sequence(h, INIT_BRACKETED_PASTE_SEQ); write_sequence(h, INIT_BRACKETED_PASTE_SEQ);
} }