Update server-console.blade.php

This commit is contained in:
JoanFo 2025-03-28 18:26:38 +01:00 committed by GitHub
parent a85fc5c88e
commit 0f92632c06
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -6,6 +6,7 @@
<script src="https://cdn.jsdelivr.net/npm/@xterm/addon-web-links/lib/addon-web-links.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/@xterm/addon-search/lib/addon-search.min.js"></script>
<script src="https://cdn.jsdelivr.net/npm/xterm-addon-search-bar/lib/xterm-addon-search-bar.min.js"></script>
<link rel="stylesheet" href="{{ asset('/css/filament/server/font.css') }}">
<link rel="stylesheet" href="{{ asset('/css/filament/server/console.css') }}">
@endassets
@ -58,6 +59,7 @@
let options = {
fontSize: 14,
fontFamily: 'Comic Mono, monospace',
lineHeight: 1.2,
disableStdin: true,
cursorStyle: 'underline',