From ca71978c815e1890eabbb58d73426cc3c54250b1 Mon Sep 17 00:00:00 2001 From: Witold Filipczyk Date: Wed, 13 May 2020 21:10:16 +0200 Subject: [PATCH] [config] Shorter summary --- src/config/options.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/config/options.inc b/src/config/options.inc index cbdd97a8..e63ad694 100644 --- a/src/config/options.inc +++ b/src/config/options.inc @@ -1383,7 +1383,7 @@ static union option_info config_options_info[] = { "confirm_close", 0, 0, N_("When closing a tab show confirmation dialog.")), - INIT_OPT_BOOL("ui", N_("Whether to disallow writing to terminal"), + INIT_OPT_BOOL("ui", N_("Disallow writing to terminal"), "tostop", 0, 1, N_("Whether to disallow writing to terminal by background processes.")),