From 16bdb3f796cd1a0a6352660a012d142494032e3e Mon Sep 17 00:00:00 2001 From: David Griffith Date: Wed, 3 May 2023 22:47:57 -0700 Subject: [PATCH] Adjusted indents from four spaces to tabs. --- src/dumb/doutput.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/dumb/doutput.c b/src/dumb/doutput.c index 01f1e5e..41d13e0 100644 --- a/src/dumb/doutput.c +++ b/src/dumb/doutput.c @@ -998,10 +998,10 @@ void dumb_dump_screen(void) /* Called when it's time for a more prompt but user has them turned off. */ void dumb_elide_more_prompt(void) { - dumb_show_screen(FALSE); - if (compression_mode == COMPRESSION_SPANS && hide_lines == 0) { - show_row(-1); - } + dumb_show_screen(FALSE); + if (compression_mode == COMPRESSION_SPANS && hide_lines == 0) { + show_row(-1); + } } /* dumb_elide_more_prompt */ -- 2.34.1