From 171021d6c5d35fc111cb2d082d9dfb5f389f1e29 Mon Sep 17 00:00:00 2001 From: Aleksander Date: Fri, 19 Dec 2025 16:48:07 +0100 Subject: [PATCH] Slider: `show_value`, hide tooltip on button press [skip ci] --- uidev/assets/gui/various_widgets.xml | 4 +-- wgui/doc/widgets.md | 4 +++ wgui/src/components/button.rs | 1 + wgui/src/components/slider.rs | 46 ++++++++++++++++------------ wgui/src/parser/component_slider.rs | 7 ++++- 5 files changed, 40 insertions(+), 22 deletions(-) diff --git a/uidev/assets/gui/various_widgets.xml b/uidev/assets/gui/various_widgets.xml index 65cefb4..d13a5e0 100644 --- a/uidev/assets/gui/various_widgets.xml +++ b/uidev/assets/gui/various_widgets.xml @@ -72,8 +72,8 @@