# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1213016247 0
# Node ID 37802c53347023e0643f8eee1f239a7a0b6ff526
# Parent  f8644ed7e357b4872d05442411f9a08df3f26355
* w32gui.h (widget_value, XtPointer, Boolean, enum button_type):
(local_heap, local_alloc, local_free, malloc_widget_value):
(free_widget_value): Define here.

diff -r f8644ed7e357 -r 37802c533470 src/w32gui.h
--- a/src/w32gui.h	Mon Jun 09 12:38:07 2008 +0000
+++ b/src/w32gui.h	Mon Jun 09 12:57:27 2008 +0000
@@ -92,6 +92,14 @@
   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
 {