prettier console box

This commit is contained in:
Mikkeli Matlock
2026-01-28 01:01:23 +09:00
parent 3db0e04402
commit 71e2214e32
2 changed files with 66 additions and 28 deletions

View File

@@ -167,7 +167,7 @@ class _DashboardScreenState extends State<DashboardScreen> {
wsState: _wsState,
),
const SizedBox(height: 10),
const SizedBox(height: 5),
// Main content area - big stat boxes
Expanded(
@@ -203,31 +203,31 @@ class _DashboardScreenState extends State<DashboardScreen> {
const SizedBox(width: 32),
// Right side: Navigator with debug console overlay
// Right side: Navigator on top, debug console below
Expanded(
flex: 1,
child: Stack(
child: Column(
children: [
// Bottom layer: Navigator
Center(
// Navigator
Expanded(
flex: 3,
child: Center(
child: NavigatorWidget(key: _navigatorKey),
),
// Top layer: Debug console on lower half only
Column(
mainAxisAlignment: MainAxisAlignment.end,
children: [
const Spacer(), // Top half - empty
),
// Debug console
Expanded(
child: DebugConsole(
flex: 1,
child:
DebugConsole(
messageStream: WebSocketService.instance.debugStream,
initialMessages: WebSocketService.instance.debugMessages,
maxLines: 8,
maxLines: 6,
title: 'WebSocket messages',
),
),
],
),
],
),
),
],
),

View File

@@ -17,11 +17,15 @@ class DebugConsole extends StatefulWidget {
/// Maximum lines to display
final int maxLines;
/// Optional title for the console (shown in title bar)
final String? title;
const DebugConsole({
super.key,
required this.messageStream,
this.initialMessages = const [],
this.maxLines = 8,
this.title,
});
@override
@@ -66,16 +70,50 @@ class _DebugConsoleState extends State<DebugConsole> {
final theme = AppTheme.of(context);
return Container(
padding: const EdgeInsets.all(4),
decoration: BoxDecoration(
color: theme.background.withAlpha(64),
border: Border.all(color: theme.subdued, width: 2),
borderRadius: BorderRadius.circular(8),
),
child: Column(
mainAxisSize: MainAxisSize.max,
crossAxisAlignment: CrossAxisAlignment.stretch,
children: [
// Title bar (optional)
if (widget.title != null)
Container(
padding: const EdgeInsets.symmetric(horizontal: 8, vertical: 4),
decoration: BoxDecoration(
border: Border(
bottom: BorderSide(color: theme.subdued, width: 1),
),
),
child: Text(
widget.title!,
style: TextStyle(
fontFamily: 'monospace',
fontSize: 24,
color: theme.subdued,
),
),
),
// Console content
Expanded(
child: Padding(
padding: const EdgeInsets.all(8),
child: Text(
_messages.isEmpty ? '(no messages)' : _messages.join('\n'),
style: TextStyle(
fontFamily: 'monospace',
fontSize: 34,
fontSize: 30,
color: theme.foreground,
height: 1.2,
height: 1.0,
),
),
),
),
],
),
);
}
}