comparison 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
comparison
equal deleted inserted replaced
73:08d3b6bcf891 74:cee261eba249
74 logger.error (e.msg); 74 logger.error (e.msg);
75 throw new GuiException ("Failure parsing config file"); 75 throw new GuiException ("Failure parsing config file");
76 } 76 }
77 77
78 // Get the renderer 78 // Get the renderer
79 char[]* p = RENDERER in reader.dataset.header.Arg!(char[]).Arg; 79 char[]* p = "Renderer" in reader.dataset.header.Arg!(char[]);
80 if (p is null || *p is null) { 80 if (p is null || *p is null) {
81 logger.warn ("no renderer specified: defaulting to Simple"); 81 logger.warn ("no renderer specified: defaulting to Simple");
82 rendName = "Simple"; 82 rendName = "Simple";
83 } 83 }
84 else 84 else
108 void save (char[] fileName) { 108 void save (char[] fileName) {
109 mt.DataSet ds = new mt.DataSet; 109 mt.DataSet ds = new mt.DataSet;
110 110
111 // Add header: 111 // Add header:
112 ds.header = new mt.DefaultData; 112 ds.header = new mt.DefaultData;
113 ds.header.Arg!(char[]).Arg[RENDERER] = rendName; 113 ds.header.Arg!(char[])["Renderer"] = rendName;
114 114
115 // Add windows to be saved: 115 // Add windows to be saved:
116 foreach (window; windows) 116 foreach (window; windows)
117 ds.sec [window.name] = window; 117 ds.sec [window.name] = window;
118 118
124 logger.error ("Saving GUI failed:"); 124 logger.error ("Saving GUI failed:");
125 logger.error (e.msg); 125 logger.error (e.msg);
126 126
127 return; 127 return;
128 } 128 }
129 }
130 private static const {
131 auto RENDERER = "Renderer";
132 } 129 }
133 //END Loading code 130 //END Loading code
134 131
135 /** Draw each window. 132 /** Draw each window.
136 * 133 *