JSDOC/PrettyPrint.js

[gnome.introspection-doc-generator] / JSDOC / PrettyPrint.js

diff --git a/JSDOC/PrettyPrint.js b/JSDOC/PrettyPrint.js
index cf1e620..dd456d7 100644 (file)
--- a/JSDOC/PrettyPrint.js
+++ b/JSDOC/PrettyPrint.js
@@ -4,6 +4,8 @@
 TokenReader = imports.TokenReader.TokenReader;
 ScopeParser= imports.ScopeParser.ScopeParser;
 TokenStream = imports.TokenStream.TokenStream;
+TextStream = imports.TextStream.TextStream;
+File = imports.File.File;
 
 function  escapeHTML() {                                        
     return(                                                                 
@@ -17,7 +19,7 @@ function  escapeHTML() {
 function toPretty(str)
 {
     
-    var txs = new TextStream(File.read(str));
+    var txs = new TextStream(str);
     var tr = TokenReader({ keepComments : true, keepWhite : true });
     var toks = tr.tokenize(txs)