Update cached system metrics on DPI change.

1 files changed, 8 insertions, 0 deletions

diff --git a/c/main.cpp b/c/main.cpp
index 2f668c0..2de5df7 100644
--- a/c/main.cpp
+++ b/c/main.cpp
@@ -262,6 +262,14 @@ LRESULT CALLBACK WndProc(const HWND hWnd, const UINT uMsg, const WPARAM wParam,
 		/* Update DPI and cached metrics. */
 		g_dpi = HIWORD(wParam);
 		Metric<SM_CXVSCROLL> = GetSystemMetrics(SM_CXVSCROLL);
+		Metric<SM_CXDOUBLECLK> = GetSystemMetrics(SM_CXDOUBLECLK);
+		Metric<SM_CYDOUBLECLK> = GetSystemMetrics(SM_CYDOUBLECLK);
+
+		/* TODO: What does GetSystemMetrics return depending
+		 * on the DPI? The documentation says it is not
+		 * DPI-aware. Does that mean that Dpi(
+		 * GetSystemMetrics(...)) will give the correct value?
+		 * If so, the cached values need not be updated. */
 
 		Prefer(SetWindowPos(hWnd, nullptr,
 		    r->left, r->top,