7214b66aa5
Handles basic line-editing with the extended keyboard protocol and support for wide chars. Currently used by the unicode input kitten.
126 lines
3.8 KiB
Python
126 lines
3.8 KiB
Python
#!/usr/bin/env python
|
|
# vim:fileencoding=utf-8
|
|
# License: GPL v3 Copyright: 2018, Kovid Goyal <kovid at kovidgoyal.net>
|
|
|
|
from kitty.fast_data_types import truncate_point_for_length, wcswidth
|
|
from kitty.key_encoding import RELEASE, HOME, END, BACKSPACE, DELETE, LEFT, RIGHT
|
|
|
|
|
|
class LineEdit:
|
|
|
|
def __init__(self):
|
|
self.clear()
|
|
|
|
def clear(self):
|
|
self.current_input = ''
|
|
self.cursor_pos = 0
|
|
self.pending_bell = False
|
|
|
|
def split_at_cursor(self, delta=0):
|
|
pos = max(0, self.cursor_pos + delta)
|
|
x = truncate_point_for_length(self.current_input, pos) if pos else 0
|
|
before, after = self.current_input[:x], self.current_input[x:]
|
|
return before, after
|
|
|
|
def write(self, write, prompt=''):
|
|
if self.pending_bell:
|
|
write('\a')
|
|
self.pending_bell = False
|
|
write(prompt)
|
|
write(self.current_input)
|
|
write('\r\x1b[{}C'.format(self.cursor_pos + wcswidth(prompt)))
|
|
|
|
def on_text(self, text, in_bracketed_paste):
|
|
if self.current_input:
|
|
x = truncate_point_for_length(self.current_input, self.cursor_pos) if self.cursor_pos else 0
|
|
self.current_input = self.current_input[:x] + text + self.current_input[x:]
|
|
else:
|
|
self.current_input = text
|
|
self.cursor_pos += wcswidth(text)
|
|
|
|
def backspace(self, num=1):
|
|
before, after = self.split_at_cursor()
|
|
nbefore = before[:-num]
|
|
if nbefore != before:
|
|
self.current_input = nbefore + after
|
|
self.cursor_pos = wcswidth(nbefore)
|
|
return True
|
|
self.pending_bell = True
|
|
return False
|
|
|
|
def delete(self, num=1):
|
|
before, after = self.split_at_cursor()
|
|
nafter = after[num:]
|
|
if nafter != after:
|
|
self.current_input = before + nafter
|
|
self.cursor_pos = wcswidth(before)
|
|
return True
|
|
self.pending_bell = True
|
|
return False
|
|
|
|
def _left(self):
|
|
if not self.current_input:
|
|
self.cursor_pos = 0
|
|
return
|
|
if self.cursor_pos:
|
|
before, after = self.split_at_cursor(-1)
|
|
self.cursor_pos = wcswidth(before)
|
|
|
|
def _right(self):
|
|
if not self.current_input:
|
|
self.cursor_pos = 0
|
|
return
|
|
max_pos = wcswidth(self.current_input)
|
|
if self.cursor_pos >= max_pos:
|
|
self.cursor_pos = max_pos
|
|
return
|
|
before, after = self.split_at_cursor(1)
|
|
self.cursor_pos += 1 + int(wcswidth(before) == self.cursor_pos)
|
|
|
|
def _move_loop(self, func, num):
|
|
before = self.cursor_pos
|
|
while func() and num > 0:
|
|
num -= 1
|
|
changed = self.cursor_pos != before
|
|
if not changed:
|
|
self.pending_bell = True
|
|
return changed
|
|
|
|
def left(self, num=1):
|
|
return self._move_loop(self._left, num)
|
|
|
|
def right(self, num=1):
|
|
return self._move_loop(self._right, num)
|
|
|
|
def home(self):
|
|
if self.cursor_pos:
|
|
self.cursor_pos = 0
|
|
return True
|
|
return False
|
|
|
|
def end(self):
|
|
orig = self.cursor_pos
|
|
self.cursor_pos = wcswidth(self.current_input) + 1
|
|
return self.cursor_pos != orig
|
|
|
|
def on_key(self, key_event):
|
|
if key_event.type is RELEASE:
|
|
return False
|
|
elif key_event.key is HOME:
|
|
return self.home()
|
|
elif key_event.key is END:
|
|
return self.end()
|
|
elif key_event.key is BACKSPACE:
|
|
self.backspace()
|
|
return True
|
|
elif key_event.key is DELETE:
|
|
self.delete()
|
|
return True
|
|
elif key_event.key is LEFT:
|
|
self.left()
|
|
return True
|
|
elif key_event.key is RIGHT:
|
|
self.right()
|
|
return True
|
|
return False
|