2017-05-16 20:52:40 +00:00
|
|
|
import 'vendor/xterm/encoding-indexes';
|
|
|
|
|
import 'vendor/xterm/encoding';
|
|
|
|
|
import Terminal from 'vendor/xterm/xterm';
|
|
|
|
|
import 'vendor/xterm/fit';
|
|
|
|
|
import './terminal';
|
|
|
|
|
|
|
|
|
|
window.Terminal = Terminal;
|
2016-11-24 13:01:25 +00:00
|
|
|
|
2018-03-02 19:04:55 +00:00
|
|
|
export default () => new gl.Terminal({ selector: '#terminal' });
|
