1
0
Fork 0

Merge pull request #48 from sgerwk/master

config option for disabling the mouse
This commit is contained in:
rkd77 2020-05-26 08:13:36 +02:00 committed by GitHub
commit 61e7b3f0b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 11 additions and 0 deletions

View File

@ -1465,6 +1465,14 @@ static union option_info config_options_info[] = {
N_("Date format to use in dialogs. See strftime(3).")),
#endif
#ifdef CONFIG_MOUSE
/* date added */
INIT_OPT_BOOL("ui", N_("Disable mouse"),
"mouse_disable", 0, 0,
N_("Disable mouse. "
"Changes take effect at the next elinks restart.")),
#endif
INIT_OPT_BOOL("ui", N_("Set window title"),
"window_title", 0, 1,
N_("Set the window title when running in a windowing "

View File

@ -89,6 +89,9 @@ enable_mouse(void)
{
int h = get_output_handle(); /* XXX: Is this all right? -- Miciah */
if (get_opt_bool("ui.mouse_disable", NULL))
return;
if (mouse_enabled) return;
if (is_xterm()) send_mouse_init_sequence(h);