Skip to content

Commit

Permalink
comment in code for #378
Browse files Browse the repository at this point in the history
  • Loading branch information
jcubic committed Mar 18, 2018
1 parent 5aaf96c commit 4e741b6
Show file tree
Hide file tree
Showing 5 changed files with 11 additions and 8 deletions.
5 changes: 3 additions & 2 deletions js/jquery.terminal-1.12.1.js
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@
* Copyright (c) 2007-2013 Alexandru Marasteanu <hello at alexei dot ro>
* licensed under 3 clause BSD license
*
* Date: Sun, 18 Mar 2018 11:23:42 +0000
* Date: Sun, 18 Mar 2018 11:32:06 +0000
*/

/* TODO:
Expand Down Expand Up @@ -2889,7 +2889,7 @@
}
$.terminal = {
version: 'DEV',
date: 'Sun, 18 Mar 2018 11:23:42 +0000',
date: 'Sun, 18 Mar 2018 11:32:06 +0000',
// colors from http://www.w3.org/wiki/CSS/Properties/color/keywords
color_names: [
'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
Expand Down Expand Up @@ -7121,6 +7121,7 @@
name: settings.name,
prompt: settings.prompt,
keypress: function keypress(e) {
// resize event is not triggered on keypress when scrollbar appear #378
setTimeout(resize, 0);
return settings.keypress(e);
},
Expand Down
4 changes: 2 additions & 2 deletions js/jquery.terminal-1.12.1.min.js

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions js/jquery.terminal-src.js
Original file line number Diff line number Diff line change
Expand Up @@ -7121,6 +7121,7 @@
name: settings.name,
prompt: settings.prompt,
keypress: function keypress(e) {
// resize event is not triggered on keypress when scrollbar appear #378
setTimeout(resize, 0);
return settings.keypress(e);
},
Expand Down
5 changes: 3 additions & 2 deletions js/jquery.terminal.js
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@
* Copyright (c) 2007-2013 Alexandru Marasteanu <hello at alexei dot ro>
* licensed under 3 clause BSD license
*
* Date: Sun, 18 Mar 2018 11:23:42 +0000
* Date: Sun, 18 Mar 2018 11:32:06 +0000
*/

/* TODO:
Expand Down Expand Up @@ -2889,7 +2889,7 @@
}
$.terminal = {
version: 'DEV',
date: 'Sun, 18 Mar 2018 11:23:42 +0000',
date: 'Sun, 18 Mar 2018 11:32:06 +0000',
// colors from http://www.w3.org/wiki/CSS/Properties/color/keywords
color_names: [
'transparent', 'currentcolor', 'black', 'silver', 'gray', 'white',
Expand Down Expand Up @@ -7121,6 +7121,7 @@
name: settings.name,
prompt: settings.prompt,
keypress: function keypress(e) {
// resize event is not triggered on keypress when scrollbar appear #378
setTimeout(resize, 0);
return settings.keypress(e);
},
Expand Down
4 changes: 2 additions & 2 deletions js/jquery.terminal.min.js

Large diffs are not rendered by default.

0 comments on commit 4e741b6

Please sign in to comment.