KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Nicer handling of empty lines

Browse Source
This commit is contained in:
Kovid Goyal 2018-05-26 13:40:43 +05:30
parent 978dc008e2
commit f36e6f0461
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
kittens/hints/main.py
View File

@ -8,6 +8,7 @@ import string
import sys import sys
from functools import lru_cache, partial from functools import lru_cache, partial
from gettext import gettext as _ from gettext import gettext as _
from itertools import repeat
from kitty.cli import parse_args from kitty.cli import parse_args
from kitty.fast_data_types import set_clipboard_string from kitty.fast_data_types import set_clipboard_string
@ -257,10 +258,11 @@ def functions_for(args):
def convert_text(text, cols): def convert_text(text, cols):
lines = [] lines = []
empty_line = '\0' * cols
for full_line in text.split('\n'): for full_line in text.split('\n'):
if full_line: if full_line:
if full_line == '\r': # empty line if not full_line.rstrip('\r'): # empty lines
lines.append('\0' * cols) lines.extend(repeat(empty_line, len(full_line)))
continue continue
for line in full_line.split('\r'): for line in full_line.split('\r'):
if line: if line: