first pass at dealing with case issues in EDITOR.INF

exec/fseditor.js

@@ -1827,11 +1827,13 @@ if(f.open("r",false)) {
 }
 if(line.length==0)
 	line.push(new Line());
-drop_file = new File(system.node_dir + "editor.inf");
+var drop_file_name = file_getcase(system.node_dir + "editor.inf");
+drop_file = new File(drop_file_name);
 if(drop_file.exists && drop_file.open("r")) {
 	info = drop_file.readAll();
 	drop_file.close();
-	file_remove(system.node_dir + "editor.inf");
+	while(drop_file_name = file_getcase(system.node_dir + "editor.inf") != undefined)
+		file_remove(drop_file_name);
 	subj=info[0];
 	to=info[1];
 	from=info[3];