Matthew Turk committed 82fc0df

Echoes the old line now, as well as anything output

Comments (0)

Files changed (1)


                             success: function(f, a){
                                 Ext.get("output").dom.innerHTML +=
-                                '>>> ' + str(f['line']) + '<br/>'
-                              + str(a['text']) + '<br/>';
+                                '>>> ' + f.findField("line").getValue() + '<br/>'
+                              + a.result.text + '<br/>';
                             failure: function(f, a){
                                 Ext.get("output").dom.innerHTML +=
                        title: 'Output',
                        html: "",
                        id: "output",
-                    }, repl_input, {
-                        title: 'Main REPL',
-                        html: "<form action=\"\" id=\"terminal\" onsubmit=\"return false;\"> <div id='tipbar'></div> <nobr><span id='prompt'>&gt;&gt;&gt; </span><input type=\"text\" id=\"input\" size=\"60\" /></nobr></form>",
-                    },]
+                    }, repl_input, ]
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.