More console changes (#774)

This commit is contained in:
Charles 2024-12-06 16:21:05 -05:00 committed by GitHub
parent d3da1b0a58
commit 2a34795ab1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -23,7 +23,7 @@
<div id="terminal" wire:ignore></div> <div id="terminal" wire:ignore></div>
<div class="flex items-center w-full bg-transparent border rounded"> <div class="flex items-center w-full bg-transparent border">
<x-filament::icon <x-filament::icon
icon="tabler-chevrons-right" icon="tabler-chevrons-right"
/> />
@ -70,10 +70,9 @@
cursorStyle: 'underline', cursorStyle: 'underline',
cursorInactiveStyle: 'none', cursorInactiveStyle: 'none',
allowTransparency: true, allowTransparency: true,
letterSpacing: 0.75, letterSpacing: 0.15,
lineHeight: 1, lineHeight: 0.50,
rows: 35, rows: 30,
cols: 110,
theme: theme theme: theme
}; };
@ -129,7 +128,7 @@
let token = '{{ $this->getToken() }}'; let token = '{{ $this->getToken() }}';
socket.onmessage = function(websocketMessageEvent) { socket.onmessage = function(websocketMessageEvent) {
let {event, args} = JSON.parse(websocketMessageEvent.data); let { event, args } = JSON.parse(websocketMessageEvent.data);
switch (event) { switch (event) {
case 'console output': case 'console output':