better options handling.

2013-08-13 17:20:55 -05:00
parent 6e375ccc33
commit 86dad1b087
3 changed files with 109 additions and 51 deletions
@@ -20,7 +20,7 @@
  var term = new Terminal({
    cols: 80,
    rows: 30,
-    style: true
+    useStyle: true
  });

  window.onload = function() {