mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-18 22:44:50 +02:00
Code Issues Packages Projects Releases Wiki Activity

Wire up color handling in the diff kitten

Browse Source
This commit is contained in:
Kovid Goyal
2018-04-24 10:58:15 +05:30
parent 5c4b14468c
commit 7a543fac86
4 changed files with 27 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
kittens/diff/render.py
View File

@@ -4,7 +4,6 @@
import re
from gettext import gettext as _
from functools import partial
from kitty.fast_data_types import wcswidth
@@ -70,14 +69,17 @@ def fit_in(text, count):
return text + '…'
def formatted(fmt, text):
return '\x1b[' + fmt + 'm' + text + '\x1b[0m'
def format_func(which):
def formatted(text):
fmt = formats[which]
return '\x1b[' + fmt + 'm' + text + '\x1b[0m'
formatted.__name__ = which + '_format'
return formatted
title_format = partial(formatted, formats['title'])
margin_format = partial(formatted, formats['margin'])
text_format = partial(formatted, formats['text'])
del formatted
text_format = format_func('text')
title_format = format_func('title')
margin_format = format_func('margin')
def place_in(text, sz):