mirror of
https://github.com/sunnypilot/sunnypilot.git
synced 2026-02-18 21:14:01 +08:00
8ba36b76a0
* scroll indicator * 65% * calibrate * margin * cleaner? * manual clean up * clean up * full scroll bar * look * looks * unlook * no fade, looks good but "too much" * clean up * cmt
306 lines
12 KiB
Python
306 lines
12 KiB
Python
import pyray as rl
|
|
import numpy as np
|
|
from collections.abc import Callable
|
|
|
|
from openpilot.common.filter_simple import FirstOrderFilter, BounceFilter
|
|
from openpilot.system.ui.lib.application import gui_app
|
|
from openpilot.system.ui.lib.scroll_panel2 import GuiScrollPanel2, ScrollState
|
|
from openpilot.system.ui.widgets import Widget
|
|
|
|
ITEM_SPACING = 20
|
|
LINE_COLOR = rl.GRAY
|
|
LINE_PADDING = 40
|
|
ANIMATION_SCALE = 0.6
|
|
|
|
MIN_ZOOM_ANIMATION_TIME = 0.075 # seconds
|
|
DO_ZOOM = False
|
|
DO_JELLO = False
|
|
|
|
|
|
class LineSeparator(Widget):
|
|
def __init__(self, height: int = 1):
|
|
super().__init__()
|
|
self._rect = rl.Rectangle(0, 0, 0, height)
|
|
|
|
def set_parent_rect(self, parent_rect: rl.Rectangle) -> None:
|
|
super().set_parent_rect(parent_rect)
|
|
self._rect.width = parent_rect.width
|
|
|
|
def _render(self, _):
|
|
rl.draw_line(int(self._rect.x) + LINE_PADDING, int(self._rect.y),
|
|
int(self._rect.x + self._rect.width) - LINE_PADDING, int(self._rect.y),
|
|
LINE_COLOR)
|
|
|
|
|
|
class ScrollIndicator(Widget):
|
|
HORIZONTAL_MARGIN = 4
|
|
|
|
def __init__(self):
|
|
super().__init__()
|
|
self._txt_scroll_indicator = gui_app.texture("icons_mici/settings/horizontal_scroll_indicator.png", 96, 48)
|
|
self._scroll_offset: float = 0.0
|
|
self._content_size: float = 0.0
|
|
self._viewport: rl.Rectangle = rl.Rectangle(0, 0, 0, 0)
|
|
|
|
def update(self, scroll_offset: float, content_size: float, viewport: rl.Rectangle) -> None:
|
|
self._scroll_offset = scroll_offset
|
|
self._content_size = content_size
|
|
self._viewport = viewport
|
|
|
|
def _render(self, _):
|
|
# scale indicator width based on content size
|
|
indicator_w = float(np.interp(self._content_size, [1000, 3000], [300, 100]))
|
|
|
|
# position based on scroll ratio
|
|
slide_range = self._viewport.width - indicator_w
|
|
max_scroll = self._content_size - self._viewport.width
|
|
scroll_ratio = -self._scroll_offset / max_scroll
|
|
x = self._viewport.x + scroll_ratio * slide_range
|
|
# don't bounce up when NavWidget shows
|
|
y = max(self._viewport.y, 0) + self._viewport.height - self._txt_scroll_indicator.height / 2
|
|
|
|
# squeeze when overscrolling past edges
|
|
dest_left = max(x, self._viewport.x)
|
|
dest_right = min(x + indicator_w, self._viewport.x + self._viewport.width)
|
|
dest_w = max(indicator_w / 2, dest_right - dest_left)
|
|
|
|
# keep within viewport after applying minimum width
|
|
dest_left = min(dest_left, self._viewport.x + self._viewport.width - dest_w)
|
|
dest_left = max(dest_left, self._viewport.x)
|
|
|
|
src_rec = rl.Rectangle(0, 0, self._txt_scroll_indicator.width, self._txt_scroll_indicator.height)
|
|
dest_rec = rl.Rectangle(dest_left, y, dest_w, self._txt_scroll_indicator.height)
|
|
rl.draw_texture_pro(self._txt_scroll_indicator, src_rec, dest_rec, rl.Vector2(0, 0), 0.0,
|
|
rl.Color(255, 255, 255, int(255 * 0.45)))
|
|
|
|
|
|
class Scroller(Widget):
|
|
def __init__(self, items: list[Widget], horizontal: bool = True, snap_items: bool = True, spacing: int = ITEM_SPACING,
|
|
line_separator: bool = False, pad_start: int = ITEM_SPACING, pad_end: int = ITEM_SPACING,
|
|
scroll_indicator: bool = True):
|
|
super().__init__()
|
|
self._items: list[Widget] = []
|
|
self._horizontal = horizontal
|
|
self._snap_items = snap_items
|
|
self._spacing = spacing
|
|
self._line_separator = LineSeparator() if line_separator else None
|
|
self._pad_start = pad_start
|
|
self._pad_end = pad_end
|
|
|
|
self._reset_scroll_at_show = True
|
|
|
|
self._scrolling_to: float | None = None
|
|
self._scroll_filter = FirstOrderFilter(0.0, 0.1, 1 / gui_app.target_fps)
|
|
self._zoom_filter = FirstOrderFilter(1.0, 0.2, 1 / gui_app.target_fps)
|
|
self._zoom_out_t: float = 0.0
|
|
|
|
# layout state
|
|
self._visible_items: list[Widget] = []
|
|
self._content_size: float = 0.0
|
|
self._scroll_offset: float = 0.0
|
|
|
|
self._item_pos_filter = BounceFilter(0.0, 0.05, 1 / gui_app.target_fps)
|
|
|
|
# when not pressed, snap to closest item to be center
|
|
self._scroll_snap_filter = FirstOrderFilter(0.0, 0.05, 1 / gui_app.target_fps)
|
|
|
|
self.scroll_panel = GuiScrollPanel2(self._horizontal, handle_out_of_bounds=not self._snap_items)
|
|
self._scroll_enabled: bool | Callable[[], bool] = True
|
|
|
|
self._show_scroll_indicator = scroll_indicator
|
|
self._scroll_indicator = ScrollIndicator()
|
|
|
|
for item in items:
|
|
self.add_widget(item)
|
|
|
|
def set_reset_scroll_at_show(self, scroll: bool):
|
|
self._reset_scroll_at_show = scroll
|
|
|
|
def scroll_to(self, pos: float, smooth: bool = False):
|
|
# already there
|
|
if abs(pos) < 1:
|
|
return
|
|
|
|
# FIXME: the padding correction doesn't seem correct
|
|
scroll_offset = self.scroll_panel.get_offset() - pos
|
|
if smooth:
|
|
self._scrolling_to = scroll_offset
|
|
else:
|
|
self.scroll_panel.set_offset(scroll_offset)
|
|
|
|
@property
|
|
def is_auto_scrolling(self) -> bool:
|
|
return self._scrolling_to is not None
|
|
|
|
def add_widget(self, item: Widget) -> None:
|
|
self._items.append(item)
|
|
item.set_touch_valid_callback(lambda: self.scroll_panel.is_touch_valid() and self.enabled)
|
|
|
|
def set_scrolling_enabled(self, enabled: bool | Callable[[], bool]) -> None:
|
|
"""Set whether scrolling is enabled (does not affect widget enabled state)."""
|
|
self._scroll_enabled = enabled
|
|
|
|
def _update_state(self):
|
|
if DO_ZOOM:
|
|
if self._scrolling_to is not None or self.scroll_panel.state != ScrollState.STEADY:
|
|
self._zoom_out_t = rl.get_time() + MIN_ZOOM_ANIMATION_TIME
|
|
self._zoom_filter.update(0.85)
|
|
else:
|
|
if self._zoom_out_t is not None:
|
|
if rl.get_time() > self._zoom_out_t:
|
|
self._zoom_filter.update(1.0)
|
|
else:
|
|
self._zoom_filter.update(0.85)
|
|
|
|
# Cancel auto-scroll if user starts manually scrolling
|
|
if self._scrolling_to is not None and (self.scroll_panel.state == ScrollState.PRESSED or self.scroll_panel.state == ScrollState.MANUAL_SCROLL):
|
|
self._scrolling_to = None
|
|
|
|
if self._scrolling_to is not None:
|
|
self._scroll_filter.update(self._scrolling_to)
|
|
self.scroll_panel.set_offset(self._scroll_filter.x)
|
|
|
|
if abs(self._scroll_filter.x - self._scrolling_to) < 1:
|
|
self.scroll_panel.set_offset(self._scrolling_to)
|
|
self._scrolling_to = None
|
|
else:
|
|
# keep current scroll position up to date
|
|
self._scroll_filter.x = self.scroll_panel.get_offset()
|
|
|
|
def _get_scroll(self, visible_items: list[Widget], content_size: float) -> float:
|
|
scroll_enabled = self._scroll_enabled() if callable(self._scroll_enabled) else self._scroll_enabled
|
|
self.scroll_panel.set_enabled(scroll_enabled and self.enabled)
|
|
self.scroll_panel.update(self._rect, content_size)
|
|
if not self._snap_items:
|
|
return round(self.scroll_panel.get_offset())
|
|
|
|
# Snap closest item to center
|
|
center_pos = self._rect.x + self._rect.width / 2 if self._horizontal else self._rect.y + self._rect.height / 2
|
|
closest_delta_pos = float('inf')
|
|
scroll_snap_idx: int | None = None
|
|
for idx, item in enumerate(visible_items):
|
|
if self._horizontal:
|
|
delta_pos = (item.rect.x + item.rect.width / 2) - center_pos
|
|
else:
|
|
delta_pos = (item.rect.y + item.rect.height / 2) - center_pos
|
|
if abs(delta_pos) < abs(closest_delta_pos):
|
|
closest_delta_pos = delta_pos
|
|
scroll_snap_idx = idx
|
|
|
|
if scroll_snap_idx is not None:
|
|
snap_item = visible_items[scroll_snap_idx]
|
|
if self.is_pressed:
|
|
# no snapping until released
|
|
self._scroll_snap_filter.x = 0
|
|
else:
|
|
# TODO: this doesn't handle two small buttons at the edges well
|
|
if self._horizontal:
|
|
snap_delta_pos = (center_pos - (snap_item.rect.x + snap_item.rect.width / 2)) / 10
|
|
snap_delta_pos = min(snap_delta_pos, -self.scroll_panel.get_offset() / 10)
|
|
snap_delta_pos = max(snap_delta_pos, (self._rect.width - self.scroll_panel.get_offset() - content_size) / 10)
|
|
else:
|
|
snap_delta_pos = (center_pos - (snap_item.rect.y + snap_item.rect.height / 2)) / 10
|
|
snap_delta_pos = min(snap_delta_pos, -self.scroll_panel.get_offset() / 10)
|
|
snap_delta_pos = max(snap_delta_pos, (self._rect.height - self.scroll_panel.get_offset() - content_size) / 10)
|
|
self._scroll_snap_filter.update(snap_delta_pos)
|
|
|
|
self.scroll_panel.set_offset(self.scroll_panel.get_offset() + self._scroll_snap_filter.x)
|
|
|
|
return self.scroll_panel.get_offset()
|
|
|
|
def _layout(self):
|
|
self._visible_items = [item for item in self._items if item.is_visible]
|
|
|
|
# Add line separator between items
|
|
if self._line_separator is not None:
|
|
l = len(self._visible_items)
|
|
for i in range(1, len(self._visible_items)):
|
|
self._visible_items.insert(l - i, self._line_separator)
|
|
|
|
self._content_size = sum(item.rect.width if self._horizontal else item.rect.height for item in self._visible_items)
|
|
self._content_size += self._spacing * (len(self._visible_items) - 1)
|
|
self._content_size += self._pad_start + self._pad_end
|
|
|
|
self._scroll_offset = self._get_scroll(self._visible_items, self._content_size)
|
|
|
|
rl.begin_scissor_mode(int(self._rect.x), int(self._rect.y),
|
|
int(self._rect.width), int(self._rect.height))
|
|
|
|
self._item_pos_filter.update(self._scroll_offset)
|
|
|
|
cur_pos = 0
|
|
for idx, item in enumerate(self._visible_items):
|
|
spacing = self._spacing if (idx > 0) else self._pad_start
|
|
# Nicely lay out items horizontally/vertically
|
|
if self._horizontal:
|
|
x = self._rect.x + cur_pos + spacing
|
|
y = self._rect.y + (self._rect.height - item.rect.height) / 2
|
|
cur_pos += item.rect.width + spacing
|
|
else:
|
|
x = self._rect.x + (self._rect.width - item.rect.width) / 2
|
|
y = self._rect.y + cur_pos + spacing
|
|
cur_pos += item.rect.height + spacing
|
|
|
|
# Consider scroll
|
|
if self._horizontal:
|
|
x += self._scroll_offset
|
|
else:
|
|
y += self._scroll_offset
|
|
|
|
# Add some jello effect when scrolling
|
|
if DO_JELLO:
|
|
if self._horizontal:
|
|
cx = self._rect.x + self._rect.width / 2
|
|
jello_offset = self._scroll_offset - np.interp(x + item.rect.width / 2,
|
|
[self._rect.x, cx, self._rect.x + self._rect.width],
|
|
[self._item_pos_filter.x, self._scroll_offset, self._item_pos_filter.x])
|
|
x -= np.clip(jello_offset, -20, 20)
|
|
else:
|
|
cy = self._rect.y + self._rect.height / 2
|
|
jello_offset = self._scroll_offset - np.interp(y + item.rect.height / 2,
|
|
[self._rect.y, cy, self._rect.y + self._rect.height],
|
|
[self._item_pos_filter.x, self._scroll_offset, self._item_pos_filter.x])
|
|
y -= np.clip(jello_offset, -20, 20)
|
|
|
|
# Update item state
|
|
item.set_position(round(x), round(y)) # round to prevent jumping when settling
|
|
item.set_parent_rect(self._rect)
|
|
|
|
def _render(self, _):
|
|
for item in self._visible_items:
|
|
# Skip rendering if not in viewport
|
|
if not rl.check_collision_recs(item.rect, self._rect):
|
|
continue
|
|
|
|
# Scale each element around its own origin when scrolling
|
|
scale = self._zoom_filter.x
|
|
if scale != 1.0:
|
|
rl.rl_push_matrix()
|
|
rl.rl_scalef(scale, scale, 1.0)
|
|
rl.rl_translatef((1 - scale) * (item.rect.x + item.rect.width / 2) / scale,
|
|
(1 - scale) * (item.rect.y + item.rect.height / 2) / scale, 0)
|
|
item.render()
|
|
rl.rl_pop_matrix()
|
|
else:
|
|
item.render()
|
|
|
|
rl.end_scissor_mode()
|
|
|
|
# Draw scroll indicator
|
|
if self._show_scroll_indicator and self._horizontal and len(self._visible_items) > 0:
|
|
self._scroll_indicator.update(self._scroll_offset, self._content_size, self._rect)
|
|
self._scroll_indicator.render()
|
|
|
|
def show_event(self):
|
|
super().show_event()
|
|
if self._reset_scroll_at_show:
|
|
self.scroll_panel.set_offset(0.0)
|
|
|
|
for item in self._items:
|
|
item.show_event()
|
|
|
|
def hide_event(self):
|
|
super().hide_event()
|
|
for item in self._items:
|
|
item.hide_event()
|