* w32gui.h (widget_value, XtPointer, Boolean, enum button_type):

(local_heap, local_alloc, local_free, malloc_widget_value):
(free_widget_value): Define here.

diff --git a/src/w32gui.h b/src/w32gui.h
index c738f9b8d46ad22ad064deb3527e1f41bd1c545f..045c899e7676a267d0f0d4dd3133246077a3bf24 100644 (file)
--- 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
 {