diff mde/setup/Init.d @ 101:71f0f1f83620

Some path adjustments for windows (untested) and fonts. All types of option can be edited. paths: support for getting the full path for a font when just the file name is entered, in order to unify usage on windows and linux. paths: Used getSpecialPath for some windows paths; needs testing. Content: Moved line-editing code to abstract ValueContent class and added some conversion functions, so that any type of ValueContent can be edited as text.
author Diggory Hardy <diggory.hardy@gmail.com>
date Sun, 16 Nov 2008 17:03:47 +0000
parents 49e7cfed4b34
children ba035eba07b4
line wrap: on
line diff
--- a/mde/setup/Init.d	Sat Nov 15 17:39:14 2008 +0000
+++ b/mde/setup/Init.d	Sun Nov 16 17:03:47 2008 +0000
@@ -119,6 +119,7 @@
                 paths.extraDataPath = args["data-path"];
             if (args.contains("conf-path"))
                 paths.extraConfPath = args["conf-path"];
+	    
             if (args.contains("base-path"))
                 paths.resolvePaths (args["base-path"]);
             else