|
header.js
|
Windows titlebar improvements (#1307)
|
2017-01-10 21:45:49 -08:00 |
|
notifications.js
|
api updates
|
2016-10-06 08:28:43 -07:00 |
|
tab.js
|
fix tab text alignment issue (#1543)
|
2017-02-17 16:48:56 -03:00 |
|
tabs.js
|
20% faster bootup time (#1350)
|
2017-01-09 13:32:15 -08:00 |
|
term.js
|
set select color based on caret color (#1532)
|
2017-02-16 17:56:20 -03:00 |
|
terms.js
|
[Windows] Add right click copy/paste (#1247)
|
2017-02-15 17:22:09 -03:00 |