Jason Gauci 71953e0fdf Allow plugins to set the parent/predecessor of a new session (#3723)		2019-10-15 02:09:30 +02:00
..
index.js	Split Panes (#693)	2016-10-03 19:00:50 -07:00
sessions.js	Allow plugins to set the parent/predecessor of a new session (#3723)	2019-10-15 02:09:30 +02:00
term-groups.js	fix closing tab containing multiple panes	2019-10-13 03:09:23 +02:00
ui.js	Add support for font ligatures via xterm-addon-ligatures - Clos… (#3853)	2019-10-09 22:23:55 +02:00