##// 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 6 var term = new Terminal({
7 7 cols: size.cols,
8 8 rows: size.rows,
9 screenKeys: true,
9 screenKeys: false,
10 10 useStyle: false
11 11 });
12 12 ws.onopen = function(event) {
General Comments 0
You need to be logged in to leave comments. Login now