diff --git a/src/w32gui.h b/src/w32gui.h
index c738f9b8d46..045c899e767 100644
--- a/src/w32gui.h
+++ b/src/w32gui.h
@@ -92,6 +92,14 @@ typedef struct _widget_value
   struct _widget_value *free_list;
 #endif
 } widget_value;
+/* Local memory management for menus.  */
+#define local_heap (GetProcessHeap ())
+#define local_alloc(n) (HeapAlloc (local_heap, HEAP_ZERO_MEMORY, (n)))
+#define local_free(p) (HeapFree (local_heap, 0, ((LPVOID) (p))))
+
+#define malloc_widget_value() ((widget_value *) local_alloc (sizeof (widget_value)))
+#define free_widget_value(wv) (local_free ((wv)))
+
 
 enum w32_char_font_type
 {