tuikit: tuikit/widgets/textbox.py@68c562e0eb1f (annotated)

96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	1	from tuikit.core.widget import Widget
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	2	from tuikit.core.signal import Signal
18 e6c3a5ee91aa Eliminate relative imports. Radek Brich <radek.brich@devl.cz> parents: 9 diff changeset	3
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	4
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	5	class TextBox(Widget):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	6
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	7	"""Multiline text view/edit widget.
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	8
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	9	Spot is used for text cursor position.
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	10
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	11	"""
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	12
62 2f61931520c9 Rework layouts: Layout is now normal Container which places its children upon resize event. Radek Brich <radek.brich@devl.cz> parents: 45 diff changeset	13	def __init__(self, text=''):
2f61931520c9 Rework layouts: Layout is now normal Container which places its children upon resize event. Radek Brich <radek.brich@devl.cz> parents: 45 diff changeset	14	Widget.__init__(self)
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	15
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	16	# Text content, splitted as lines
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	17	self._lines = []
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	18	self.text = text
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	19
34 e3beacd5e536 Update event propagation, keypress event, focusing. Radek Brich <radek.brich@devl.cz> parents: 32 diff changeset	20	self.allow_focus = True
e3beacd5e536 Update event propagation, keypress event, focusing. Radek Brich <radek.brich@devl.cz> parents: 32 diff changeset	21
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	22	# Cursor position is same as spot.
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	23	# This variable rememberes horizontal position
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	24	# for the case when cursor moves to shorter line.
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	25	self.cursor_column = 0
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	26	# selection - line and column of selection start
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	27	self.sel_line = 0
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	28	self.sel_column = 0
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	29
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	30	#self.add_events('scroll', Event)
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	31
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	32	@property
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	33	def text(self):
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	34	return '\n'.join(self._lines)
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	35
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	36	@text.setter
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	37	def text(self, value):
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	38	self._lines = value.split('\n')
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	39	maxlen = max([len(line) for line in self._lines])
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	40	self.sizereq.update(w=maxlen, h=len(self._lines))
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	41
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	42	@property
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	43	def cur_line(self):
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	44	return self._lines[self._spot.y]
3 33ec838dc021 Fixed escape sequence handling. Radek Brich <radek.brich@devl.cz> parents: 0 diff changeset	45
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	46	@cur_line.setter
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	47	def cur_line(self, value):
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	48	self._lines[self._spot.y] = value
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	49
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	50	def set_theme(self, theme):
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	51	Widget.set_theme(self, theme)
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	52	self.color = theme.normal
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	53
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	54	def draw(self, buffer):
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	55	exposed = self.exposed(buffer)
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	56	with buffer.attr(self.color):
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	57	buffer.fill()
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	58	end_y = min(len(self._lines), exposed.y + exposed.h)
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	59	for j in range(exposed.y, end_y):
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	60	line = self._lines[j]
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	61	buffer.puts(line, 0, j)
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	62	#self.cursor = (self._spot.x, self._spot.y)
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	63
45 43b2279b06e1 Clean up Emitter class, simplify event handling. Fix Container.focusnext() method. Add events test (handler auto-registration, order). Radek Brich <radek.brich@devl.cz> parents: 43 diff changeset	64	def on_keypress(self, ev):
41 37b7dfc3eae6 Update Emitter: All event handlers now have exactly one argument: object inherited from Event class, which carries any data. Radek Brich <radek.brich@devl.cz> parents: 40 diff changeset	65	if ev.keyname:
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	66	if ev.keyname == 'left': self.move_left()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	67	if ev.keyname == 'right': self.move_right()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	68	if ev.keyname == 'home': self.move_home()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	69	if ev.keyname == 'end': self.move_end()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	70	if ev.keyname == 'up': self.move_up()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	71	if ev.keyname == 'down': self.move_down()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	72	if ev.keyname == 'pageup': self.move_pageup()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	73	if ev.keyname == 'pagedown': self.move_pagedown()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	74	if ev.keyname == 'backspace': self.backspace()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	75	if ev.keyname == 'delete': self.del_char()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	76	if ev.keyname == 'enter': self.add_newline(move=True)
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	77	if ev.mod == ev.MOD_CTRL:
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	78	if ev.keyname == 'home': self.move_top()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	79	if ev.keyname == 'end': self.move_bottom()
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	80
41 37b7dfc3eae6 Update Emitter: All event handlers now have exactly one argument: object inherited from Event class, which carries any data. Radek Brich <radek.brich@devl.cz> parents: 40 diff changeset	81	if ev.char:
37b7dfc3eae6 Update Emitter: All event handlers now have exactly one argument: object inherited from Event class, which carries any data. Radek Brich <radek.brich@devl.cz> parents: 40 diff changeset	82	self.add_char(ev.char)
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	83	self.move_right()
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	84
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	85	self.redraw()
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	86
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	87	def on_mousedown(self, ev):
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	88	y = ev.wy
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	89	x = min(ev.wx, len(self._lines[y]))
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	90	self._spot.update(x=x, y=y)
77 fc1989059e19 Propagate "quit" event, do not just terminate application. Resize: flag widgets to be resized, do resizes only once before draw. Draw: flag widgets to be redrawn, do not draw everything on any event. Radek Brich <radek.brich@devl.cz> parents: 76 diff changeset	91	self.redraw()
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	92
45 43b2279b06e1 Clean up Emitter class, simplify event handling. Fix Container.focusnext() method. Add events test (handler auto-registration, order). Radek Brich <radek.brich@devl.cz> parents: 43 diff changeset	93	def on_mousewheel(self, ev):
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	94	if ev.button == 4:
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	95	# wheel up
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	96	self.emit('scrollreq', -5)
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	97	if ev.button == 5:
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	98	# wheel down
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	99	self.emit('scrollreq', +5)
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	100	self.redraw()
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	101
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	102	def move_left(self):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	103	if self._spot.x > 0:
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	104	self._spot.x -= 1
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	105	else:
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	106	if self._spot.y > 0:
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	107	self._spot.y -= 1
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	108	self._spot.x = len(self.cur_line)
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	109	self.cursor_column = self._spot.x
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	110
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	111	def move_right(self):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	112	if self._spot.x < len(self.cur_line):
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	113	self._spot.x += 1
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	114	else:
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	115	if self._spot.y < len(self._lines) - 1:
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	116	self._spot.y += 1
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	117	self._spot.x = 0
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	118	self.cursor_column = self._spot.x
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	119
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	120	def move_home(self):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	121	self._spot.x = 0
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	122	self.cursor_column = self._spot.x
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	123
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	124	def move_end(self):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	125	self._spot.x = len(self.cur_line)
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	126	self.cursor_column = self._spot.x
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	127
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	128	def move_up(self):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	129	if self._spot.y > 0:
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	130	self._spot.y -= 1
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	131	self._update_spot_x()
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	132
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	133	def move_down(self):
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	134	if self._spot.y < len(self._lines) - 1:
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	135	self._spot.y += 1
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	136	self._update_spot_x()
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	137
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	138	def move_pageup(self):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	139	if self._spot.y >= self.view_height - 1:
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	140	self.emit('scrollreq', - (self.view_height - 1))
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	141	self._spot.y -= self.view_height - 1
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	142	else:
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	143	self._spot.y = 0
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	144	self._update_spot_x()
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	145
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	146	def move_pagedown(self):
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	147	if len(self._lines) - self._spot.y > (self.view_height - 1):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	148	self.emit('scrollreq', (self.view_height - 1))
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	149	self._spot.y += self.view_height - 1
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	150	else:
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	151	self._spot.y = len(self._lines) - 1
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	152	self._update_spot_x()
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	153
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	154	def move_top(self):
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	155	self._spot.y = 0
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	156	self._update_spot_x()
3 33ec838dc021 Fixed escape sequence handling. Radek Brich <radek.brich@devl.cz> parents: 0 diff changeset	157
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	158	def move_bottom(self):
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	159	self._spot.y = len(self._lines) - 1
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	160	self._update_spot_x()
3 33ec838dc021 Fixed escape sequence handling. Radek Brich <radek.brich@devl.cz> parents: 0 diff changeset	161
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	162	def add_char(self, c):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	163	ln = self.cur_line
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	164	sx = self._spot.x
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	165	self.cur_line = ln[:sx] + c + ln[sx:]
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	166	self.cursor_column = sx
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	167
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	168	def add_newline(self, move=False):
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	169	ln = self.cur_line
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	170	sx = self._spot.x
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	171	self.cur_line = ln[sx:]
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	172	self._lines.insert(self._spot.y, ln[:sx])
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	173	self._default_size.update(h=len(self._lines))
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	174	if move:
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	175	self.move_right()
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	176
76 fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	177	def add_line(self, text):
fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	178	ln = self.cur_line
fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	179	sx = self._spot.x
fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	180	self.cur_line = ln[sx:]
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	181	self._lines.insert(self._spot.y, ln[:sx] + text)
76 fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	182	self.cursor_column = 0
fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	183	self._spot.x = 0
fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	184	self._spot.y += 1
fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	185	w = max(self._default_size.w, len(ln[:sx] + text))
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	186	self._default_size.update(w=w, h=len(self._lines))
76 fa5301e58eca Update demo_input, demo_editor. Update ScrollView: show/hide scrollbars as needed on child size requests. Radek Brich <radek.brich@devl.cz> parents: 74 diff changeset	187
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	188	def backspace(self):
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	189	if self._spot.y > 0 or self._spot.x > 0:
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	190	self.move_left()
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	191	self.del_char()
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	192
a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	193	def del_char(self):
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	194	ln = self.cur_line
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	195	sx = self._spot.x
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	196	if sx == len(self.cur_line):
96 68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	197	if self._spot.y + 1 < len(self._lines):
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	198	self.cur_line += self._lines[self._spot.y+1]
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	199	del self._lines[self._spot.y+1]
68c562e0eb1f Add TextBox, text editor demo. Update demobase. Radek Brich <radek.brich@devl.cz> parents: 77 diff changeset	200	self._default_size.update(h=len(self._lines))
0 a35731b5e31a tuikit Radek Brich <radek.brich@devl.cz> parents: diff changeset	201	else:
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	202	self.cur_line = ln[:sx] + ln[sx+1:]
18 e6c3a5ee91aa Eliminate relative imports. Radek Brich <radek.brich@devl.cz> parents: 9 diff changeset	203
74 23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	204	def _update_spot_x(self):
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	205	if self.cursor_column > len(self.cur_line):
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	206	self._spot.x = len(self.cur_line)
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	207	else:
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	208	self._spot.x = self.cursor_column
23767a33a781 Add ScrollWindow. Rewrite EditBox to work with OffsetLayout. Add propery "exposed" to DrawEvent. Add Widget._view_size. Add config file (driver, log_level). Radek Brich <radek.brich@devl.cz> parents: 62 diff changeset	209

author	Radek Brich <radek.brich@devl.cz>
	Fri, 28 Mar 2014 14:58:20 +0100
changeset 96	68c562e0eb1f
parent 77	tuikit/editbox.py@fc1989059e19
child 97	0c2e0c09ba5c
permissions	-rw-r--r--