2017-05-16 16:52:40 -04: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 08:01:25 -05:00
|
|
|
|
2018-03-02 14:04:55 -05:00
|
|
|
export default () => new gl.Terminal({ selector: '#terminal' });
|
