mirror of
https://github.com/rkd77/elinks.git
synced 2024-11-04 08:17:17 -05:00
config option for disabling the mouse
This commit is contained in:
parent
c56d11cfb9
commit
bb66fd3c37
@ -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 "
|
||||
|
@ -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);
|
||||
|
Loading…
Reference in New Issue
Block a user