From dab44f5ceb100d81ca42200f708a3e89e1f90090 Mon Sep 17 00:00:00 2001 From: Wojtek Figat Date: Thu, 16 Oct 2025 10:20:08 +0200 Subject: [PATCH] Minor fixes --- Source/Engine/Serialization/JsonWriters.h | 1 + Source/Engine/UI/GUI/Common/Slider.cs | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/Source/Engine/Serialization/JsonWriters.h b/Source/Engine/Serialization/JsonWriters.h index cb0cce52f..836357ecf 100644 --- a/Source/Engine/Serialization/JsonWriters.h +++ b/Source/Engine/Serialization/JsonWriters.h @@ -32,6 +32,7 @@ public: } public: + using JsonWriter::Key; // [JsonWriter] void Key(const char* str, int32 length) override diff --git a/Source/Engine/UI/GUI/Common/Slider.cs b/Source/Engine/UI/GUI/Common/Slider.cs index e02b67ab2..8c7b022fe 100644 --- a/Source/Engine/UI/GUI/Common/Slider.cs +++ b/Source/Engine/UI/GUI/Common/Slider.cs @@ -390,7 +390,7 @@ public class Slider : ContainerControl } // Draw thumb - var thumbColorV = _isSliding ? ThumbColorSelected : (_mouseOverThumb ? ThumbColorHighlighted : ThumbColor); + var thumbColorV = _isSliding ? ThumbColorSelected : (_mouseOverThumb || IsNavFocused ? ThumbColorHighlighted : ThumbColor); if (ThumbBrush != null) ThumbBrush.Draw(_thumbRect, thumbColorV); else