1
1
mirror of https://github.com/1j01/textual-paint.git synced 2024-12-30 10:12:01 +03:00
textual-paint/windows.py
Isaiah Odhner bf2b5ec94e Fix dragging windows
This was broken in "Fix a type checker error" e62064a307 
where I just added `and self.offset_at_drag_start`.
The problem is that Offset defines __bool__ and are falsy when (0,0),
and the windows, despite starting out in the center, initially have an
offset of (0,0) FROM this center position.
2023-04-25 14:29:13 -04:00

422 lines
18 KiB
Python
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

from typing import Any, Union, Optional, Callable
from textual import events
from textual.message import Message
from textual.app import ComposeResult
from textual.containers import Container
from textual.geometry import Offset
from textual.reactive import var
from textual.widget import Widget
from textual.widgets import Button, Static, DataTable
from textual.containers import Container, Horizontal, Vertical
from textual.css.query import NoMatches
from localization.i18n import get as _
class WindowTitleBar(Container):
"""A title bar widget."""
title = var("")
def __init__(self, title: str = "", **kwargs: Any) -> None:
"""Initialize a title bar."""
super().__init__(**kwargs)
self.title = title
def compose(self) -> ComposeResult:
"""Add our widgets."""
yield Static(self.title, classes="window_title")
yield Button("🗙", classes="window_close")
# yield Button("🗕", classes="window_minimize")
# yield Button("🗖", classes="window_maximize")
# 🗗 for restore
id_counter = 0
class Window(Container):
"""A draggable window widget."""
class CloseRequest(Message):
"""Message when the user clicks the close button. Can be prevented."""
def __init__(self, **kwargs: Any) -> None:
"""Initialize a close request."""
super().__init__(**kwargs)
self.prevent_close = False
class Closed(Message):
"""Message when the window is really closed."""
title = var([])
BINDINGS = [
# Binding("tab", "focus_next", "Focus Next", show=False),
# Binding("shift+tab", "focus_previous", "Focus Previous", show=False),
("tab", "focus_next", "Focus Next"),
("shift+tab", "focus_previous", "Focus Previous"),
("right,down", "focus_next_button", "Focus Next Button"),
("left,up", "focus_previous_button", "Focus Previous Button"),
]
def __init__(self, *children: Widget, title: str = "", **kwargs: Any) -> None:
"""Initialize a window."""
super().__init__(*children, **kwargs)
self.mouse_at_drag_start = None
self.offset_at_drag_start = None
self.title_bar = WindowTitleBar(title=title)
self.content = Container(classes="window_content")
# must be after title_bar is defined
self.title = title
self.can_focus = True
if not self.id:
# ID is needed for focus cycling
global id_counter
self.id = f"window_auto_id_{id_counter}"
id_counter += 1
def action_focus_next(self) -> None:
"""Override action to focus the next widget only within the window."""
self.screen.focus_next(f"#{self.id} .window_content *")
def action_focus_previous(self) -> None:
"""Override action to focus the previous widget only within the window."""
self.screen.focus_previous(f"#{self.id} .window_content *")
def within_buttons(self, widget: Widget|None) -> bool:
"""Returns True if widget exists and is within .buttons."""
if not widget:
return False
node = widget
while node:
if node.has_class("buttons"):
return True
node = node.parent
return False
def action_focus_next_button(self) -> None:
"""Action to focus the next button within .buttons IF a button is focused within .buttons."""
if self.within_buttons(self.screen.focused):
self.screen.focus_next(f"#{self.id} .buttons *")
def action_focus_previous_button(self) -> None:
"""Action to focus the previous button within .buttons IF a button is focused within .buttons."""
if self.within_buttons(self.screen.focused):
self.screen.focus_previous(f"#{self.id} .buttons *")
def on_mount(self) -> None:
"""Called when the widget is mounted."""
self.mount(self.title_bar)
self.mount(self.content)
# Set focus. (In the future, some windows will not want default focus...)
self.focus()
# Fix for incorrect layout that would only resolve on mouse over
# (I peaked into mouse over handling and it calls update_styles.)
# This can still briefly show the incorrect layout, since it relies on a timer.
self.set_timer(0.01, lambda: self.app.update_styles(self))
def on_focus(self, event: events.Focus) -> None:
"""Called when the window is focused."""
# TODO: focus last focused widget if re-focusing
controls = self.content.query(".submit, Input, Button")
if controls:
controls[0].focus()
# def compose(self) -> ComposeResult:
# """Add our widgets."""
# self.title_bar = yield WindowTitleBar(title=self.title)
# self.content = yield Container(classes="window_content")
# def compose_add_child(self, widget):
# """When using the context manager compose syntax, we want to attach nodes to the content container."""
# self.content.mount(widget)
def watch_title(self, new_title: str) -> None:
"""Called when title is changed."""
self.title_bar.title = new_title
def on_button_pressed(self, event: Button.Pressed) -> None:
"""Called when a button is clicked or activated with the keyboard."""
if event.button.has_class("window_close"):
self.request_close()
def on_mouse_down(self, event: events.MouseDown) -> None:
"""Called when the user presses the mouse button."""
# detect if the mouse is over the title bar,
# and not window content or title bar buttons
if not self.parent:
# I got NoScreen error accessing self.screen once while closing a window,
# so I added this check.
return
widget, _ = self.screen.get_widget_at(*event.screen_offset)
if widget not in [self.title_bar, self.title_bar.query_one(".window_title")]:
return
if event.button != 1:
return
self.mouse_at_drag_start = event.screen_offset
self.offset_at_drag_start = Offset(int(self.styles.offset.x.value), int(self.styles.offset.y.value))
self.capture_mouse()
"""
Work around a bug in textual where the MouseUp event
is not sent to this widget if another widget gets focus,
and thus, release_mouse() is not called,
and you can never release the drag or click anything else.
An excerpt from Screen._forward_event:
if isinstance(event, events.MouseUp) and widget.focusable:
if self.focused is not widget:
self.set_focus(widget)
event.stop()
return
event.style = self.get_style_at(event.screen_x, event.screen_y)
if widget is self:
event._set_forwarded()
self.post_message(event)
else:
widget._forward_event(event._apply_offset(-region.x, -region.y))
Note the return statement.
I don't know what this special case is for,
but for this work around, I can make widget.focusable False,
so that the special case doesn't apply.
(`focusable` is a getter that uses can_focus and checks ancestors are enabled)
"""
self.can_focus = False
def on_mouse_move(self, event: events.MouseMove) -> None:
"""Called when the user moves the mouse."""
if self.mouse_at_drag_start is not None and self.offset_at_drag_start is not None:
self.styles.offset = (
self.offset_at_drag_start.x + event.screen_x - self.mouse_at_drag_start.x,
self.offset_at_drag_start.y + event.screen_y - self.mouse_at_drag_start.y,
)
def on_mouse_up(self, event: events.MouseUp) -> None:
"""Called when the user releases the mouse button."""
self.mouse_at_drag_start = None
self.offset_at_drag_start = None
self.release_mouse()
# Part of the workaround for the bug mentioned in on_mouse_down
self.can_focus = True
def close(self) -> None:
"""Force close the window."""
self.remove()
self.post_message(self.Closed())
def request_close(self) -> None:
"""Request to close the window."""
close_request = self.CloseRequest()
self.post_message(close_request)
if not close_request.prevent_close:
self.close()
class DialogWindow(Window):
"""A window that can be submitted like a form."""
def __init__(self, *children: Widget, handle_button: Callable[[Button], None], **kwargs: Any) -> None:
"""Initialize a dialog window."""
super().__init__(*children, **kwargs)
self.handle_button = handle_button
def on_key(self, event: events.Key) -> None:
"""Called when a key is pressed."""
# submit with enter, but not if a button has focus
# (not even if it's a submit button, because that would double submit)
# TODO: Use on_input_submitted instead
if event.key == "enter" and self.app.focused not in self.query("Button").nodes:
try:
submit_button = self.query_one(".submit", Button)
except NoMatches:
return
self.handle_button(submit_button)
elif event.key == "escape":
# Like the title bar close button,
# this doesn't call handle_button...
self.request_close()
def on_button_pressed(self, event: Button.Pressed) -> None:
"""Called when a button is clicked or activated with the keyboard."""
# Make sure the button is in the window content
if event.button in self.content.query("Button").nodes:
self.handle_button(event.button)
# def on_input_submitted(self, event: Input.Submitted) -> None:
# """Called when a the enter key is pressed in an Input."""
class CharacterSelectorDialogWindow(DialogWindow):
"""A dialog window that lets the user select a character."""
# class CharacterSelected(Message):
# """Sent when a character is selected."""
# def __init__(self, character: str) -> None:
# """Initialize the message."""
# self.character = character
# TODO: fact check this string
# spell-checker: disable
code_page_437 = "☺☻♥♦♣♠•◘○◙♂♀♪♫☼►◄↕‼¶§▬↨↑↓→←∟↔▲▼ !\"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\\]^_`abcdefghijklmnopqrstuvwxyz{|}~⌂ÇüéâäàåçêëèïîìÄÅÉæÆôöòûùÿÖÜ¢£¥₧ƒáíóúñѪº¿⌐¬½¼¡«»░▒▓│┤╡╢╖╕╣║╗╝╜╛┐└┴┬├─┼╞╟╚╔╩╦╠═╬╧╨╤╥╙╘╒╓╫╪┘┌█▄▀▌▐▀αßΓπΣσµτΦΘΩδ∞φε∩≡±≥≤⌠⌡÷≈°∙·√ⁿ²■ "
# spell-checker: enable
char_list = [char for char in code_page_437]
# char_list = ["A", "b", "c"] * 4
def __init__(self, *children: Widget, selected_character: str|None, handle_selected_character: Callable[[str], None], **kwargs: Any) -> None:
"""Initialize the dialog window."""
super().__init__(handle_button=self.handle_button, *children, **kwargs)
self._selected_character = selected_character
self.handle_selected_character = handle_selected_character
def handle_button(self, button: Button) -> None:
"""Called when a button is clicked or activated with the keyboard."""
if button.has_class("cancel"):
self.request_close()
else:
# self.post_message(self.CharacterSelected(self._char_by_button[button]))
# self.close()
self.handle_selected_character(self._selected_character)
def on_data_table_cell_highlighted(self, event: DataTable.CellHighlighted) -> None:
"""Called when a cell is highlighted."""
assert isinstance(event.value, str)
self._selected_character = event.value
def on_mount(self) -> None:
"""Called when the window is mounted."""
data_table: DataTable[str] = DataTable()
column_count = 16
data_table.add_columns(*([" "] * column_count))
data_table.show_header = False
for i in range(0, len(self.char_list), column_count):
data_table.add_row(*self.char_list[i:i+column_count])
self.content.mount(data_table)
self.content.mount(Button(_("OK"), classes="ok submit"))
self.content.mount(Button(_("Cancel"), classes="cancel"))
# ASCII line art version:
# get_warning_icon = lambda: Static("""[#ffff00]
# _
# / \\
# / | \\
# / . \\
# /_______\\
# [/]""", classes="warning_icon message_box_icon")
# Unicode solid version 1:
# get_warning_icon = lambda: Static("""[#ffff00 on #000000]
# _
# ◢█◣
# ◢[#000000 on #ffff00] ▼ [/]◣
# ◢[#000000 on #ffff00] ● [/]◣
# ◢███████◣
# [/]""", classes="warning_icon message_box_icon")
# Unicode line art version (' might be a better than ╰/╯):
# get_warning_icon = lambda: Static("""[#ffff00]
# _
#
# │ ╲
# . ╲
# ╰───────╯
# """, classes="warning_icon message_box_icon")
# Unicode solid version 2:
# get_warning_icon = lambda: Static("""[#ffff00 on #000000]
# 🭯
# 🭅[#000000 on #ffff00]🭯[/]🭐
# 🭅[#000000 on #ffff00] ▼ [/]🭐
# 🭅[#000000 on #ffff00] ● [/]🭐
# 🭅███████🭐
# [/]""", classes="warning_icon message_box_icon")
# Unicode solid version 3, now with a border:
# VS Code's terminal seems unsure of the width of these characters (like it's rendering 2 wide but advancing by 1), and has gaps/seams.
# Ubuntu's terminal looks better, and the graphics have less gaps, but the overall shape is worse.
# I guess a lot of this comes down to the font as well.
# get_warning_icon = lambda: Static("""
# [#000000]🭋[#ffff00 on #000000]🭯[/]🭀[/]
# [#000000]🭋[#ffff00 on #000000]🭅█🭐[/]🭀[/]
# [#000000]🭋[#ffff00 on #000000]🭅[#000000 on #ffff00] ▼ [/]🭐[/]🭀[/]
# [#000000]🭋[#ffff00 on #000000]🭅[#000000 on #ffff00] ● [/]🭐[/]🭀[/]
# [#000000]🭋[#ffff00 on #000000]🭅███████🭐[/]🭀[/]
# [#000000]🮃🮃🮃🮃🮃🮃🮃🮃🮃🮃🮃[/]
# """, classes="warning_icon message_box_icon")
# Unicode solid version 4:
# This now looks great in Ubuntu's terminal.
# In VS Code's terminal, all the gaps make it look like it's under frosted glass,
# but it's acceptable. Alternatively, you may see it as looking "spiky",
# which is sensible for a warning icon, if not particularly attractive.
# get_warning_icon = lambda: Static("""
# [#000000]◢[#ffff00 on #000000]🭯[/]◣[/]
# [#000000]◢[#ffff00 on #000000]◢█◣[/]◣[/]
# [#000000]◢[#ffff00 on #000000]◢[#000000 on #ffff00] ▼ [/]◣[/]◣[/]
# [#000000]◢[#ffff00 on #000000]◢[#000000 on #ffff00] ● [/]◣[/]◣[/]
# [#000000]◢[#ffff00 on #000000]◢███████◣[/]◣[/]
# [#000000]🮃🮃🮃🮃🮃🮃🮃🮃🮃🮃🮃[/]
# """, classes="warning_icon message_box_icon")
# Unicode solid version 5, rounder exclamation mark:
# get_warning_icon = lambda: Static("""
# [#000000]◢[#ffff00 on #000000]🭯[/]◣[/]
# [#000000]◢[#ffff00 on #000000]◢█◣[/]◣[/]
# [#000000]◢[#ffff00 on #000000]◢[#000000 on #ffff00] ⬮ [/]◣[/]◣[/]
# [#000000]◢[#ffff00 on #000000]◢[#000000 on #ffff00] • [/]◣[/]◣[/]
# [#000000]◢[#ffff00 on #000000]◢███████◣[/]◣[/]
# [#000000]🮃🮃🮃🮃🮃🮃🮃🮃🮃🮃🮃[/]
# """, classes="warning_icon message_box_icon")
# Unicode solid version 6, smaller overall:
get_warning_icon = lambda: Static("""
[#000000]◢[#ffff00 on #000000]🭯[/]◣[/]
[#000000]◢[#ffff00 on #000000]◢█◣[/]◣[/]
[#000000]◢[#ffff00 on #000000]◢[#000000 on #ffff00] ⬮ [/]◣[/]◣[/]
[#000000]◢[#ffff00 on #000000]◢[#000000 on #ffff00] • [/]◣[/]◣[/]
[#000000]🮃🮃🮃🮃🮃🮃🮃🮃🮃[/]
""", classes="warning_icon message_box_icon")
class MessageBox(DialogWindow):
"""A simple dialog window that displays a message, a group of buttons, and an optional icon."""
def __init__(self,
*children: Widget,
message_widget: Union[Widget, str],
button_types: str = "ok",
icon_widget: Optional[Widget],
handle_button: Callable[[Button], None],
**kwargs: Any,
) -> None:
"""Initialize the message box."""
super().__init__(*children, handle_button=handle_button, **kwargs)
if isinstance(message_widget, str):
message_widget = Static(message_widget, markup=False)
if not icon_widget:
icon_widget = Static("")
self.message_widget = message_widget
self.icon_widget = icon_widget
self.button_types = button_types
def on_mount(self):
"""Called when the window is mounted."""
if self.button_types == "ok":
buttons = [Button(_("OK"), classes="ok submit", variant="primary")]
elif self.button_types == "yes/no":
buttons = [
Button(_("Yes"), classes="yes submit"), #, variant="primary"),
Button(_("No"), classes="no"),
]
elif self.button_types == "yes/no/cancel":
buttons = [
Button(_("Yes"), classes="yes submit", variant="primary"),
Button(_("No"), classes="no"),
Button(_("Cancel"), classes="cancel"),
]
else:
raise ValueError("Invalid button_types: " + repr(self.button_types))
self.content.mount(
Horizontal(
self.icon_widget,
Vertical(
self.message_widget,
# Window class provides arrow key navigation within .buttons
Horizontal(*buttons, classes="buttons"),
classes="main_content"
)
)
)