|
header.js
|
Fix maximize on doubleclick (#1835)
|
2017-05-19 00:05:56 +02:00 |
|
notifications.js
|
api updates
|
2016-10-06 08:28:43 -07:00 |
|
style-sheet.js
|
bunch of changes
|
2017-06-11 13:42:39 +03:00 |
|
tab.js
|
fix tab text alignment issue (#1543)
|
2017-02-17 16:48:56 -03:00 |
|
tabs.js
|
add configurable uifontfamily (#1549)
|
2017-02-18 00:15:55 -03:00 |
|
term-group.js
|
Fix partial TermGroup decoration (#1705)
|
2017-03-27 12:40:42 -07:00 |
|
term.js
|
bunch of changes
|
2017-06-11 13:42:39 +03:00 |
|
terms.js
|
bunch of changes
|
2017-06-11 13:42:39 +03:00 |