Use better face names first in wxGTK wxNativeFontInfo::SetFamily().

[wxWidgets.git] / demos / bombs / descrip.mms

diff --git a/demos/bombs/descrip.mms b/demos/bombs/descrip.mms
index 83dfaba5e1928889aea957ed7b2ebb36a6938b86..25a4c3c5ab8d12659883c8000d4c5a1f1c12940e 100644 (file)
--- a/demos/bombs/descrip.mms
+++ b/demos/bombs/descrip.mms
@@ -9,7 +9,8 @@
        define wx [--.include.wx]
 
 .ifdef __WXMOTIF__
        define wx [--.include.wx]
 
 .ifdef __WXMOTIF__

-CXX_DEFINE = /define=(__WXMOTIF__=1)
+CXX_DEFINE = /define=(__WXMOTIF__=1)/name=(as_is,short)\
+          /assume=(nostdnew,noglobal_array_new)

 .else
 .ifdef __WXGTK__
 CXX_DEFINE = /define=(__WXGTK__=1)/float=ieee/name=(as_is,short)/ieee=denorm\
 .else
 .ifdef __WXGTK__
 CXX_DEFINE = /define=(__WXGTK__=1)/float=ieee/name=(as_is,short)/ieee=denorm\