Aleksander 5afe85a3b3 Slider: show_value, hide tooltip on button press ...

[skip ci]

2025-12-24 09:15:15 +00:00

..

edit

mirrors, recenter, fix floor

2025-12-11 23:55:18 +09:00

grab-help

grab-help panel, FollowHand align_to_hmd

2025-12-21 16:00:45 +09:00

gui

Slider: show_value, hide tooltip on button press

2025-12-24 09:15:15 +00:00

lang

wgui: basic i18n support, refactoring: use LayoutState, translation framework (LLM-based generator)

2025-08-02 23:31:23 +02:00

watch

mirrors, recenter, fix floor

2025-12-11 23:55:18 +09:00

raster.png

move uidev to workspace root

2025-06-21 17:39:28 +09:00