From f42f955821be508b5f5aeea29b8173bd20e03fcd Mon Sep 17 00:00:00 2001
From: wp_xyz <wp_xxyyzzz@gmx.net>
Date: Sun, 13 Oct 2024 00:27:43 +0200
Subject: [PATCH] Tools/DebugServer: Display milliseconds in logged event time.

---
 tools/debugserver/frmmain.pp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/debugserver/frmmain.pp b/tools/debugserver/frmmain.pp
index 31b138fc6e..7ded475519 100644
--- a/tools/debugserver/frmmain.pp
+++ b/tools/debugserver/frmmain.pp
@@ -164,6 +164,7 @@ end;
 
 procedure TMainForm.FormCreate(Sender: TObject);
 begin
+  FormatSettings.LongTimeFormat := 'hh:nn:ss.zzz';
   LoadSettings;
   If Not FShowOnStartup Then
     Hide;