This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
terminal [2025/03/13 17:15] – Yuki | terminal [2025/03/28 13:00] (current) – Yuki | ||
---|---|---|---|
Line 9: | Line 9: | ||
{ | { | ||
display: none; | display: none; | ||
+ | } | ||
+ | .xterm .xterm-viewport | ||
+ | { | ||
+ | overflow-y: auto; | ||
} | } | ||
</ | </ | ||
Line 15: | Line 19: | ||
<script src=" | <script src=" | ||
< | < | ||
- | var term = new Terminal({" | + | var term = new Terminal({" |
term.open(document.getElementById(' | term.open(document.getElementById(' | ||
var ws = new WebSocket("/ | var ws = new WebSocket("/ |