rename ui_is_external to ui_has (#9576)

This commit is contained in:
Justin M. Keyes
2019-02-03 16:42:44 +01:00
committed by GitHub
parent 79a0ea2bec
commit 01b4efe9d9
8 changed files with 40 additions and 46 deletions

View File

@@ -6893,7 +6893,7 @@ void do_highlight(const char *line, const bool forceit, const bool init)
// "fg", which have been changed now.
highlight_attr_set_all();
if (!ui_is_external(kUILinegrid) && starting == 0) {
if (!ui_has(kUILinegrid) && starting == 0) {
// Older UIs assume that we clear the screen after normal group is
// changed
ui_refresh();