Difficult-Rocket/libs/pyglet/text/caret.py

591 lines
20 KiB
Python
Raw Normal View History

2021-04-16 23:21:06 +08:00
"""Provides keyboard and mouse editing procedures for text layout.
Example usage::
from pyglet import window
from pyglet.text import layout, caret
my_window = window.Window(...)
my_layout = layout.IncrementalTextLayout(...)
my_caret = caret.Caret(my_layout)
my_window.push_handlers(my_caret)
.. versionadded:: 1.1
"""
import re
import time
from pyglet import clock
from pyglet import event
from pyglet.window import key
class Caret:
"""Visible text insertion marker for
2021-04-16 23:21:06 +08:00
`pyglet.text.layout.IncrementalTextLayout`.
The caret is drawn as a single vertical bar at the document `position`
on a text layout object. If `mark` is not None, it gives the unmoving
end of the current text selection. The visible text selection on the
layout is updated along with `mark` and `position`.
By default the layout's graphics batch is used, so the caret does not need
to be drawn explicitly. Even if a different graphics batch is supplied,
the caret will be correctly positioned and clipped within the layout.
Updates to the document (and so the layout) are automatically propagated
to the caret.
The caret object can be pushed onto a window event handler stack with
`Window.push_handlers`. The caret will respond correctly to keyboard,
text, mouse and activation events, including double- and triple-clicks.
If the text layout is being used alongside other graphical widgets, a
GUI toolkit will be needed to delegate keyboard and mouse events to the
appropriate widget. pyglet does not provide such a toolkit at this stage.
"""
_next_word_re = re.compile(r'(?<=\W)\w')
_previous_word_re = re.compile(r'(?<=\W)\w+\W*$')
_next_para_re = re.compile(r'\n', flags=re.DOTALL)
_previous_para_re = re.compile(r'\n', flags=re.DOTALL)
_position = 0
_active = True
_visible = True
_blink_visible = True
_click_count = 0
_click_time = 0
#: Blink period, in seconds.
PERIOD = 0.5
#: Pixels to scroll viewport per mouse scroll wheel movement.
#: Defaults to 12pt at 96dpi.
2021-04-16 23:21:06 +08:00
SCROLL_INCREMENT = 12 * 96 // 72
_mark = None
2023-04-18 21:07:58 +08:00
def __init__(self, layout, batch=None, color=(0, 0, 0, 255)):
2021-04-16 23:21:06 +08:00
"""Create a caret for a layout.
By default the layout's batch is used, so the caret does not need to
be drawn explicitly.
:Parameters:
`layout` : `~pyglet.text.layout.TextLayout`
Layout to control.
`batch` : `~pyglet.graphics.Batch`
Graphics batch to add vertices to.
2023-04-18 21:07:58 +08:00
`color` : (int, int, int, int)
An RGBA or RGB tuple with components in the range [0, 255].
RGB colors will be treated as having an opacity of 255.
2021-04-16 23:21:06 +08:00
"""
from pyglet import gl
self._layout = layout
2023-05-05 21:58:38 +08:00
self._custom_batch = True if batch else False
self._batch = batch or layout.batch
self._group = layout.foreground_decoration_group
2023-04-18 21:07:58 +08:00
# Handle both 3 and 4 byte colors
r, g, b, *a = color
# The alpha value when not in a hidden blink state
self._visible_alpha = a[0] if a else 255
colors = r, g, b, self._visible_alpha, r, g, b, self._visible_alpha
2021-04-16 23:21:06 +08:00
2023-05-05 21:58:38 +08:00
self._list = self._group.program.vertex_list(2, gl.GL_LINES, batch, self._group, colors=('Bn', colors))
2021-04-16 23:21:06 +08:00
self._ideal_x = None
self._ideal_line = None
self._next_attributes = {}
self.visible = True
layout.push_handlers(self)
2023-05-05 21:58:38 +08:00
@property
def layout(self):
return self._layout
@layout.setter
def layout(self, layout):
if self._layout == layout and self._group == layout.group:
return
from pyglet import gl
self._layout = layout
batch = self._batch if self._custom_batch else layout.batch
self._group = layout.foreground_decoration_group
self._batch.migrate(self._list, gl.GL_LINES, self._group, batch)
2021-04-16 23:21:06 +08:00
def delete(self):
"""Remove the caret from its batch.
Also disconnects the caret from further layout events.
"""
self._list.delete()
self._layout.remove_handlers(self)
def _blink(self, dt):
if self.PERIOD:
self._blink_visible = not self._blink_visible
2023-04-18 21:07:58 +08:00
2021-04-16 23:21:06 +08:00
if self._visible and self._active and self._blink_visible:
2023-04-18 21:07:58 +08:00
alpha = self._visible_alpha
2021-04-16 23:21:06 +08:00
else:
alpha = 0
2023-04-18 21:07:58 +08:00
# Only set the alpha rather than entire colors
2021-04-16 23:21:06 +08:00
self._list.colors[3] = alpha
self._list.colors[7] = alpha
def _nudge(self):
self.visible = True
@property
def visible(self):
"""Caret visibility.
The caret may be hidden despite this property due to the periodic blinking
or by `on_deactivate` if the event handler is attached to a window.
:type: bool
"""
return self._visible
@visible.setter
def visible(self, visible):
2021-04-16 23:21:06 +08:00
self._visible = visible
clock.unschedule(self._blink)
if visible and self._active and self.PERIOD:
clock.schedule_interval(self._blink, self.PERIOD)
2021-04-17 01:14:38 +08:00
self._blink_visible = False # flipped immediately by next blink
2021-04-16 23:21:06 +08:00
self._blink(0)
@property
def color(self):
2023-04-18 21:07:58 +08:00
"""An RGBA tuple of the current caret color
When blinking off, the alpha channel will be set to ``0``. The
default caret color when visible is ``(0, 0, 0, 255)`` (opaque black).
2021-04-16 23:21:06 +08:00
2023-04-18 21:07:58 +08:00
You may set the color to an RGBA or RGB color tuple.
2021-04-16 23:21:06 +08:00
2023-04-18 21:07:58 +08:00
.. warning:: This setter can fail for a short time after layout / window init!
Use ``__init__``'s ``color`` keyword argument instead if you
run into this problem.
Each color channel must be between 0 and 255, inclusive. If the color
set to an RGB color, the previous alpha channel value will be used.
:type: (int, int, int, int)
"""
2023-04-18 21:07:58 +08:00
return self._list.colors[:4]
2021-04-16 23:21:06 +08:00
@color.setter
def color(self, color):
2023-04-18 21:07:58 +08:00
r, g, b, *_a = color
# Preserve alpha when setting an RGB color
a = _a[0] if _a else self._list.colors[3]
self._list.colors[:] = r, g, b, a, r, g, b, a
2021-04-16 23:21:06 +08:00
@property
def position(self):
"""Position of caret within document."""
return self._position
2021-04-16 23:21:06 +08:00
@position.setter
def position(self, position):
self._position = position
2021-04-16 23:21:06 +08:00
self._next_attributes.clear()
self._update()
@property
def mark(self):
"""Position of immovable end of text selection within document.
2021-04-16 23:21:06 +08:00
An interactive text selection is determined by its immovable end (the
caret's position when a mouse drag begins) and the caret's position, which
moves interactively by mouse and keyboard input.
2021-04-16 23:21:06 +08:00
This property is ``None`` when there is no selection.
2021-04-16 23:21:06 +08:00
:type: int
"""
return self._mark
2021-04-16 23:21:06 +08:00
@mark.setter
def mark(self, mark):
2021-04-16 23:21:06 +08:00
self._mark = mark
self._update(line=self._ideal_line)
if mark is None:
self._layout.set_selection(0, 0)
@property
def line(self):
"""Index of line containing the caret's position.
2021-04-16 23:21:06 +08:00
When set, `position` is modified to place the caret on requested line
while maintaining the closest possible X offset.
2021-04-16 23:21:06 +08:00
:rtype: int
"""
2021-04-16 23:21:06 +08:00
if self._ideal_line is not None:
return self._ideal_line
else:
return self._layout.get_line_from_position(self._position)
@line.setter
def line(self, line):
if self._ideal_x is None:
self._ideal_x, _ = self._layout.get_point_from_position(self._position)
self._position = self._layout.get_position_on_line(line, self._ideal_x)
self._update(line=line, update_ideal_x=False)
2021-04-16 23:21:06 +08:00
def get_style(self, attribute):
"""Get the document's named style at the caret's current position.
If there is a text selection and the style varies over the selection,
`pyglet.text.document.STYLE_INDETERMINATE` is returned.
:Parameters:
`attribute` : str
Name of style attribute to retrieve. See
`pyglet.text.document` for a list of recognised attribute
names.
:rtype: object
"""
if self._mark is None or self._mark == self._position:
try:
return self._next_attributes[attribute]
except KeyError:
return self._layout.document.get_style(attribute, self._position)
start = min(self._position, self._mark)
end = max(self._position, self._mark)
return self._layout.document.get_style_range(attribute, start, end)
def set_style(self, attributes):
"""Set the document style at the caret's current position.
If there is a text selection the style is modified immediately.
Otherwise, the next text that is entered before the position is
modified will take on the given style.
:Parameters:
`attributes` : dict
Dict mapping attribute names to style values. See
`pyglet.text.document` for a list of recognised attribute
names.
"""
if self._mark is None or self._mark == self._position:
self._next_attributes.update(attributes)
return
start = min(self._position, self._mark)
end = max(self._position, self._mark)
self._layout.document.set_style(start, end, attributes)
def _delete_selection(self):
start = min(self._mark, self._position)
end = max(self._mark, self._position)
self._position = start
self._mark = None
self._layout.document.delete_text(start, end)
self._layout.set_selection(0, 0)
def move_to_point(self, x, y):
"""Move the caret close to the given window coordinate.
The `mark` will be reset to ``None``.
:Parameters:
`x` : int
X coordinate.
`y` : int
Y coordinate.
"""
line = self._layout.get_line_from_point(x, y)
self._mark = None
self._layout.set_selection(0, 0)
self._position = self._layout.get_position_on_line(line, x)
self._update(line=line)
self._next_attributes.clear()
def select_to_point(self, x, y):
"""Move the caret close to the given window coordinate while
maintaining the `mark`.
:Parameters:
`x` : int
X coordinate.
`y` : int
Y coordinate.
"""
line = self._layout.get_line_from_point(x, y)
self._position = self._layout.get_position_on_line(line, x)
self._update(line=line)
self._next_attributes.clear()
def select_word(self, x, y):
"""Select the word at the given window coordinate.
:Parameters:
`x` : int
X coordinate.
`y` : int
Y coordinate.
"""
line = self._layout.get_line_from_point(x, y)
p = self._layout.get_position_on_line(line, x)
m1 = self._previous_word_re.search(self._layout.document.text, 0, p+1)
if not m1:
m1 = 0
else:
m1 = m1.start()
self.mark = m1
m2 = self._next_word_re.search(self._layout.document.text, p)
if not m2:
m2 = len(self._layout.document.text)
else:
m2 = m2.start()
2022-08-16 13:25:37 +08:00
2021-04-16 23:21:06 +08:00
self._position = m2
self._update(line=line)
self._next_attributes.clear()
def select_paragraph(self, x, y):
"""Select the paragraph at the given window coordinate.
:Parameters:
`x` : int
X coordinate.
`y` : int
Y coordinate.
"""
line = self._layout.get_line_from_point(x, y)
p = self._layout.get_position_on_line(line, x)
self.mark = self._layout.document.get_paragraph_start(p)
self._position = self._layout.document.get_paragraph_end(p)
self._update(line=line)
2021-04-16 23:21:06 +08:00
self._next_attributes.clear()
def _update(self, line=None, update_ideal_x=True):
if line is None:
line = self._layout.get_line_from_position(self._position)
self._ideal_line = None
else:
self._ideal_line = line
x, y = self._layout.get_point_from_position(self._position, line)
2022-10-23 19:56:14 +08:00
z = self._layout.z
2021-04-16 23:21:06 +08:00
if update_ideal_x:
self._ideal_x = x
x += self._layout.x
y += self._layout.y + self._layout.height
2021-04-16 23:21:06 +08:00
if self._mark is not None:
self._layout.set_selection(min(self._position, self._mark), max(self._position, self._mark))
2021-04-16 23:21:06 +08:00
self._layout.ensure_line_visible(line)
self._layout.ensure_x_visible(x)
2023-03-10 21:01:31 +08:00
font = self._layout.document.get_font(max(0, self._position - 1))
self._list.position[:] = [x, y + font.descent, z, x, y + font.ascent, z]
def on_translation_update(self):
self._list.translation[:] = (-self._layout.view_x, -self._layout.view_y, 0) * 2
2021-04-16 23:21:06 +08:00
def on_layout_update(self):
"""Handler for the `IncrementalTextLayout.on_layout_update` event.
"""
2021-04-16 23:21:06 +08:00
if self.position > len(self._layout.document.text):
self.position = len(self._layout.document.text)
self._update()
def on_text(self, text):
"""Handler for the `pyglet.window.Window.on_text` event.
Caret keyboard handlers assume the layout always has keyboard focus.
GUI toolkits should filter keyboard and text events by widget focus
before invoking this handler.
"""
if self._mark is not None:
self._delete_selection()
text = text.replace('\r', '\n')
pos = self._position
self._position += len(text)
self._layout.document.insert_text(pos, text, self._next_attributes)
self._nudge()
return event.EVENT_HANDLED
def on_text_motion(self, motion, select=False):
"""Handler for the `pyglet.window.Window.on_text_motion` event.
Caret keyboard handlers assume the layout always has keyboard focus.
GUI toolkits should filter keyboard and text events by widget focus
before invoking this handler.
"""
if motion == key.MOTION_BACKSPACE:
if self.mark is not None:
self._delete_selection()
elif self._position > 0:
self._position -= 1
self._layout.document.delete_text(self._position, self._position + 1)
2022-08-16 13:25:37 +08:00
self._update()
2021-04-16 23:21:06 +08:00
elif motion == key.MOTION_DELETE:
if self.mark is not None:
self._delete_selection()
elif self._position < len(self._layout.document.text):
self._layout.document.delete_text(self._position, self._position + 1)
2021-04-16 23:21:06 +08:00
elif self._mark is not None and not select:
self._mark = None
self._layout.set_selection(0, 0)
if motion == key.MOTION_LEFT:
self.position = max(0, self.position - 1)
elif motion == key.MOTION_RIGHT:
self.position = min(len(self._layout.document.text), self.position + 1)
2021-04-16 23:21:06 +08:00
elif motion == key.MOTION_UP:
self.line = max(0, self.line - 1)
elif motion == key.MOTION_DOWN:
line = self.line
if line < self._layout.get_line_count() - 1:
self.line = line + 1
elif motion == key.MOTION_BEGINNING_OF_LINE:
self.position = self._layout.get_position_from_line(self.line)
elif motion == key.MOTION_END_OF_LINE:
line = self.line
if line < self._layout.get_line_count() - 1:
self._position = self._layout.get_position_from_line(line + 1) - 1
self._update(line)
else:
self.position = len(self._layout.document.text)
elif motion == key.MOTION_BEGINNING_OF_FILE:
self.position = 0
elif motion == key.MOTION_END_OF_FILE:
self.position = len(self._layout.document.text)
elif motion == key.MOTION_NEXT_WORD:
pos = self._position + 1
m = self._next_word_re.search(self._layout.document.text, pos)
if not m:
self.position = len(self._layout.document.text)
else:
self.position = m.start()
elif motion == key.MOTION_PREVIOUS_WORD:
pos = self._position
m = self._previous_word_re.search(self._layout.document.text, 0, pos)
if not m:
self.position = 0
else:
self.position = m.start()
self._next_attributes.clear()
self._nudge()
return event.EVENT_HANDLED
def on_text_motion_select(self, motion):
"""Handler for the `pyglet.window.Window.on_text_motion_select` event.
Caret keyboard handlers assume the layout always has keyboard focus.
GUI toolkits should filter keyboard and text events by widget focus
before invoking this handler.
"""
if self.mark is None:
self.mark = self.position
self.on_text_motion(motion, True)
return event.EVENT_HANDLED
def on_mouse_scroll(self, x, y, scroll_x, scroll_y):
"""Handler for the `pyglet.window.Window.on_mouse_scroll` event.
Mouse handlers do not check the bounds of the coordinates: GUI
toolkits should filter events that do not intersect the layout
before invoking this handler.
The layout viewport is scrolled by `SCROLL_INCREMENT` pixels per
"click".
"""
self._layout.view_x -= scroll_x * self.SCROLL_INCREMENT
self._layout.view_y += scroll_y * self.SCROLL_INCREMENT
2021-04-16 23:21:06 +08:00
return event.EVENT_HANDLED
def on_mouse_press(self, x, y, button, modifiers):
"""Handler for the `pyglet.window.Window.on_mouse_press` event.
Mouse handlers do not check the bounds of the coordinates: GUI
toolkits should filter events that do not intersect the layout
before invoking this handler.
This handler keeps track of the number of mouse presses within
a short span of time and uses this to reconstruct double- and
triple-click events for selecting words and paragraphs. This
technique is not suitable when a GUI toolkit is in use, as the active
widget must also be tracked. Do not use this mouse handler if
a GUI toolkit is being used.
"""
t = time.time()
if t - self._click_time < 0.25:
self._click_count += 1
else:
self._click_count = 1
self._click_time = time.time()
if self._click_count == 1:
self.move_to_point(x, y)
elif self._click_count == 2:
self.select_word(x, y)
elif self._click_count == 3:
self.select_paragraph(x, y)
self._click_count = 0
self._nudge()
return event.EVENT_HANDLED
def on_mouse_drag(self, x, y, dx, dy, buttons, modifiers):
"""Handler for the `pyglet.window.Window.on_mouse_drag` event.
Mouse handlers do not check the bounds of the coordinates: GUI
toolkits should filter events that do not intersect the layout
before invoking this handler.
"""
if self.mark is None:
self.mark = self.position
self.select_to_point(x, y)
self._nudge()
return event.EVENT_HANDLED
def on_activate(self):
"""Handler for the `pyglet.window.Window.on_activate` event.
The caret is hidden when the window is not active.
"""
self._active = True
self.visible = self._active
return event.EVENT_HANDLED
def on_deactivate(self):
"""Handler for the `pyglet.window.Window.on_deactivate` event.
The caret is hidden when the window is not active.
"""
self._active = False
self.visible = self._active
return event.EVENT_HANDLED