blob: 33d2c1e1a17e708bd328b82bd8830216827232cd (
plain)
1
2
3
4
5
6
7
|
//= require xterm/encoding-indexes
//= require xterm/encoding
//= require xterm/xterm.js
//= require xterm/fit.js
//= require ./terminal.js
$(() => new gl.Terminal({ selector: '#terminal' }));
|