Update:

When opening a file. If the file is mapped to a regular html element then use textContent to get the content. If the file is mapped to a textarea use value so that changed / pasted values are retrieved rather than the initial default values.
Duncanr-glitch · Feb 26, 2013 · 91f2721 · 91f2721
1 parent a1bbb20
commit 91f2721
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 7 deletions.
diff --git a/dist/skulpt.js b/dist/skulpt.js
diff --git a/src/file.js b/src/file.js
@@ -13,10 +13,13 @@ Sk.builtin.file = function(name, mode, buffering)
         var elem = document.getElementById(name.v);
         if ( elem == null) {
             throw new Sk.builtin.IOError("[Errno 2] No such file or directory: '"+name.v+"'");
-        } else if (document.all) {
-		    this.data$ = elem.innerText;
-	    } else { // stupid Firefox
-	        this.data$ = elem.textContent;
+        } else {
+           if( elem.nodeName.toLowerCase() == "textarea") {
+               this.data$ = elem.value;
+           }
+           else {
+	           this.data$ = elem.textContent;
+	       }
 	    }
 	} else {
   		this.data$ = Sk.read(name.v);
@@ -30,7 +33,7 @@ Sk.builtin.file = function(name, mode, buffering)
     this.pos$ = 0;
 
 	this.__class__ = Sk.builtin.file;
-	
+
     return this;
 };