##// END OF EJS Templates
Merge pull request #7754 from minrk/screenKeys...
Fernando Perez -
r20406:0889b336 merge
parent child Browse files
Show More
@@ -6,7 +6,7 b' define ([], function() {'
6 var term = new Terminal({
6 var term = new Terminal({
7 cols: size.cols,
7 cols: size.cols,
8 rows: size.rows,
8 rows: size.rows,
9 screenKeys: true,
9 screenKeys: false,
10 useStyle: false
10 useStyle: false
11 });
11 });
12 ws.onopen = function(event) {
12 ws.onopen = function(event) {
General Comments 0
You need to be logged in to leave comments. Login now