Stefan de Vogelaere 8ab9dc5a11 fix: use user's terminal font settings for dev server logs ...

XtermLogViewer was passing DEFAULT_TERMINAL_FONT directly to xterm.js,
but this value is 'default' - a sentinel string for the dropdown selector,
not a valid CSS font family. Also the font size was hardcoded to 13px.

Now reads the user's font preference from terminalState:
- fontFamily: Uses getTerminalFontFamily() to convert to CSS font stack
- defaultFontSize: Uses store value when fontSize prop not provided

Also adds useEffects to update font settings dynamically when they change.

This ensures dev server logs respect Settings > Terminal settings.

2026-01-18 15:22:21 +01:00

..

server

Merge remote-tracking branch 'upstream/v0.13.0rc' into patchcraft

2026-01-18 18:21:34 +05:30

ui

fix: use user's terminal font settings for dev server logs

2026-01-18 15:22:21 +01:00