diff mde/gui/Gui.d @ 74:cee261eba249

Minor tweaks.
author Diggory Hardy <diggory.hardy@gmail.com>
date Mon, 07 Jul 2008 15:54:47 +0100
parents 891211f034f2
children
line wrap: on
line diff
--- a/mde/gui/Gui.d	Mon Jul 07 15:53:58 2008 +0100
+++ b/mde/gui/Gui.d	Mon Jul 07 15:54:47 2008 +0100
@@ -76,7 +76,7 @@
         }
         
         // Get the renderer
-        char[]* p = RENDERER in reader.dataset.header.Arg!(char[]).Arg;
+        char[]* p = "Renderer" in reader.dataset.header.Arg!(char[]);
         if (p is null || *p is null) {
             logger.warn ("no renderer specified: defaulting to Simple");
             rendName = "Simple";
@@ -110,7 +110,7 @@
         
         // Add header:
         ds.header = new mt.DefaultData;
-        ds.header.Arg!(char[]).Arg[RENDERER] = rendName;
+        ds.header.Arg!(char[])["Renderer"] = rendName;
         
         // Add windows to be saved:
         foreach (window; windows)
@@ -127,9 +127,6 @@
             return;
         }
     }
-    private static const {
-        auto RENDERER = "Renderer";
-    }
     //END Loading code
     
     /** Draw each window.