ariadne
/
smol
2
1
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

display: ensure that the help lines are shown when in linting mode 

The help lines will help differentiate this mode from normal editing
mode, and will tell the user how to jump to other messages.

This is a third step to address https://savannah.gnu.org/bugs/?54714.
master
Benno Schulenberg 2018-10-21 20:47:37 +02:00
parent b7f53096fb
commit 280ac81b31
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/text.c
View File

@ -2999,6 +2999,7 @@ void do_linter(void)
size_t parsesuccess = 0; size_t parsesuccess = 0;
int lint_status, lint_fd[2]; int lint_status, lint_fd[2];
pid_t pid_lint; pid_t pid_lint;
bool helpless = ISSET(NO_HELP);
static char **lintargs = NULL; static char **lintargs = NULL;
lintstruct *lints = NULL, *tmplint = NULL, *curlint = NULL; lintstruct *lints = NULL, *tmplint = NULL, *curlint = NULL;
time_t last_wait = 0; time_t last_wait = 0;
@ -3173,6 +3174,11 @@ void do_linter(void)
return; return;
} }
if (helpless && LINES > 4) {
UNSET(NO_HELP);
window_init();
}
/* Show that we are in the linter now. */ /* Show that we are in the linter now. */
titlebar(NULL); titlebar(NULL);
bottombars(MLINTER); bottombars(MLINTER);
@ -3322,6 +3328,12 @@ void do_linter(void)
free(tmplint->filename); free(tmplint->filename);
free(tmplint); free(tmplint);
} }
if (helpless) {
SET(NO_HELP);
window_init();
refresh_needed = TRUE;
}
} }
#endif /* ENABLE_COLOR */ #endif /* ENABLE_COLOR */