Jiahao Lu 16f163daf3 Adjust clickable region of control buttons (#3017) ... On Windows, the close button (rather than the border) is expected to be hit when someone clicks the top-right corner of the screen if a window is maximized.		2018-05-23 22:59:19 +02:00
..
header.js	Adjust clickable region of control buttons (#3017)	2018-05-23 22:59:19 +02:00
notification.js	Improve update notification contrast (#2791)	2018-04-20 17:03:34 +02:00
notifications.js	Improve update notification contrast (#2791)	2018-04-20 17:03:34 +02:00
split-pane.js	Integrate xterm v3.2 (#2768)	2018-03-18 00:24:26 +01:00
style-sheet.js	Integrate xterm v3.2 (#2768)	2018-03-18 00:24:26 +01:00
tab.js	Migrate styling to styled-jsx (#2761)	2018-03-17 13:51:36 +01:00
tabs.js	Migrate styling to styled-jsx (#2761)	2018-03-17 13:51:36 +01:00
term-group.js	Add letter spacing configuration option (#3002)	2018-05-10 12:54:00 +02:00
term.js	Add letter spacing configuration option (#3002)	2018-05-10 12:54:00 +02:00
terms.js	Add letter spacing configuration option (#3002)	2018-05-10 12:54:00 +02:00