# HG changeset patch
# User Olaf Wintermann <olaf.wintermann@gmail.com>
# Date 1746530272 -7200
# Node ID 59ea5791be5e687d4d15a8b81d5860759a526f28
# Parent  61813a91c84d7ff1e689bb006ac19337e2b4c398
fix windows11 win32 build

diff -r 61813a91c84d -r 59ea5791be5e ui/common/properties.c
--- a/ui/common/properties.c	Tue Apr 29 21:56:52 2025 +0200
+++ b/ui/common/properties.c	Tue May 06 13:17:52 2025 +0200
@@ -32,6 +32,10 @@
 #include <sys/stat.h>
 #include <errno.h>
 
+#ifdef _WIN32
+#include <direct.h>
+#endif
+
 #include "../ui/toolkit.h"