Aleksander 4e46c45bcf wgui: Refactoring, various changes (see desc) ...

- use parking_lot for mutex (less restrictive and easier to use)
- simplify event callbacks and widget type casting
- defer component initialization at start (required for setting the initial state of sliders)
- fix non-working scroll events
- update testbed.xml
- replace slider with the real one in bar.xml
- show slider text on its handle

2025-07-29 22:12:01 +02:00

4.4 KiB

Raw Blame History

View Raw