Merge remote-tracking branch 'ups/master' into 207_selection_manager

2017-05-19 18:38:24 -07:00
parent 65256c8751 a95ac990ff
commit fee912023f
13 changed files with 279 additions and 84 deletions
@@ -154,7 +154,8 @@
    overflow-y: scroll;
 }

-.terminal .xterm-wide-char {
+.terminal .xterm-wide-char,
+.terminal .xterm-normal-char {
    display: inline-block;
 }