make File name length consistent with Files.NameLength

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6556 8c9fc860-2736-0410-a75d-ab315db34111

source/WMFileManager.Mod

@@ -5,7 +5,7 @@ IMPORT Files, Modules, WMGraphics, WMProperties,
 	WM := WMWindowManager;
 
 CONST
-	WindowWidth = 500; WindowHeight = 400;
+	WindowWidth = 500; WindowHeight = 400; FileNameLength = Files.NameLength;
 
 TYPE
 	KillerMsg = OBJECT
@@ -37,7 +37,7 @@ TYPE
 		END Init;
 
 		PROCEDURE TextChanged(sender, data : ANY);
-		VAR str : ARRAY 128 OF CHAR;
+		VAR str : ARRAY FileNameLength (* was 128*)  OF CHAR;
 		BEGIN
 			filterEdit.GetAsString(str);
 			filterProp.Set(Strings.NewString(str))

source/WMSystemComponents.Mod

@@ -12,7 +12,8 @@ IMPORT
 CONST
 	BufSize = 16*1024; (* internal buffer size, used for copy *)
 
-	FileNameLength = 256;
+	(*FileNameLength = 256;*)
+	FileNameLength=Files.NameLength;
 
 	TraceCopy = 0;
 	TraceDragging = 1;