From 2a21ae5c10b99799c870f2741aa06b891045e670 Mon Sep 17 00:00:00 2001
From: Mario Pietsch <pmariojo@gmail.com>
Date: Fri, 25 Jul 2025 09:35:07 +0200
Subject: [PATCH] Fix sidebar tools version for v5.3.8 (#9165)

---
 core/ui/SideBar/Tools.tid | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/ui/SideBar/Tools.tid b/core/ui/SideBar/Tools.tid
index a285ade5ab..98b11b3a8f 100644
--- a/core/ui/SideBar/Tools.tid
+++ b/core/ui/SideBar/Tools.tid
@@ -7,7 +7,7 @@ caption: {{$:/language/SideBar/Tools/Caption}}
 \procedure lingo-base() $:/language/ControlPanel/
 \function config-title() [[$:/config/PageControlButtons/Visibility/$(listItem)$]substitute[]]
 
-<<lingo Basics/Version/Prompt>> <<version>>
+<<lingo Basics/Version/Prompt>><span class="tc-tiny-gap-left"><<version>></span>
 
 <$let tv-config-toolbar-icons="yes"
 	tv-config-toolbar-text="yes"