From f36e6f0461fbec8e0753024b2b4a6baa39deedd0 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 26 May 2018 13:40:43 +0530 Subject: [PATCH] Nicer handling of empty lines --- kittens/hints/main.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/kittens/hints/main.py b/kittens/hints/main.py index a22dbd786..134b02a5e 100644 --- a/kittens/hints/main.py +++ b/kittens/hints/main.py @@ -8,6 +8,7 @@ import string import sys from functools import lru_cache, partial from gettext import gettext as _ +from itertools import repeat from kitty.cli import parse_args from kitty.fast_data_types import set_clipboard_string @@ -257,10 +258,11 @@ def functions_for(args): def convert_text(text, cols): lines = [] + empty_line = '\0' * cols for full_line in text.split('\n'): if full_line: - if full_line == '\r': # empty line - lines.append('\0' * cols) + if not full_line.rstrip('\r'): # empty lines + lines.extend(repeat(empty_line, len(full_line))) continue for line in full_line.split('\r'): if line: