Cosmetic improvement, highlight the filename

exec/localcopy.js

@@ -26,7 +26,7 @@ if(!cmd) {
 // Copy a file, confirm over-write, preserving original date/time stamp
 function fcopy(src, dest)
 {
-	if(file_exists(dest) && !confirm("Overwrite " + dest))
+	if(file_exists(dest) && !confirm("Overwrite \1w" + dest))
 		exit(1);
 	if(!file_copy(src, dest)) {
 		alert(format("Error %d copying '%s' to '%s'", errno, src, dest));