2017-09-10 17:25:29 +05:30
|
|
|
import 'vendor/xterm/encoding-indexes';
|
|
|
|
|
import 'vendor/xterm/encoding';
|
|
|
|
|
import Terminal from 'vendor/xterm/xterm';
|
|
|
|
|
import 'vendor/xterm/fit';
|
|
|
|
|
import './terminal';
|
|
|
|
|
|
|
|
|
|
window.Terminal = Terminal;
|
2017-08-17 22:00:37 +05:30
|
|
|
|
2018-03-27 19:54:05 +05:30
|
|
|
export default () => new gl.Terminal({ selector: '#terminal' });
|
