Muyue/MuyueWorkspace
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 141 Wiki Activity

fix(shell): set default terminal fontSize to 6px
All checks were successful
Beta Release / beta (push) Successful in 49s
Details

Browse Source 
All fallbacks were still using 12px. User confirmed 6px is the
correct baseline on their display.

💘 Generated with Crush

Assisted-by: GLM-5.1 via Crush <crush@charm.land>
This commit is contained in:
Augustin
2026-04-24 22:41:47 +02:00
parent 399b845e14
commit 9a218b1904
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
web/src/components/Shell.jsx
View File

@@ -204,7 +204,7 @@ function createTerminal(container, settings = {}) {
const term = new XTerm({ const term = new XTerm({
cursorBlink: true, cursorBlink: true,
allowProposedApi: true, allowProposedApi: true,
fontSize: settings.fontSize || 12, fontSize: settings.fontSize || 6,
fontFamily: settings.fontFamily || "'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'SF Mono', 'Menlo', monospace", fontFamily: settings.fontFamily || "'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'SF Mono', 'Menlo', monospace",
theme, theme,
allowTransparency: false, allowTransparency: false,
@@ -350,7 +350,7 @@ export default function Shell({ api }) {
const { t } = useI18n() const { t } = useI18n()
const tabsRef = useRef({}) const tabsRef = useRef({})
const nextIdRef = useRef(1) const nextIdRef = useRef(1)
const settingsRef = useRef({ fontSize: 10, fontFamily: "'JetBrains Mono', 'Fira Code', monospace", theme: 'system' }) const settingsRef = useRef({ fontSize: 6, fontFamily: "'JetBrains Mono', 'Fira Code', monospace", theme: 'system' })
const pendingCommandsRef = useRef({}) const pendingCommandsRef = useRef({})
const [tabs, setTabs] = useState(() => { const [tabs, setTabs] = useState(() => {
@@ -399,7 +399,7 @@ export default function Shell({ api }) {
const [editingTab, setEditingTab] = useState(null) const [editingTab, setEditingTab] = useState(null)
const [editName, setEditName] = useState('') const [editName, setEditName] = useState('')
const [terminalSettings, setTerminalSettings] = useState({ const [terminalSettings, setTerminalSettings] = useState({
fontSize: 10, fontSize: 6,
fontFamily: "'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'SF Mono', 'Menlo', monospace", fontFamily: "'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'SF Mono', 'Menlo', monospace",
theme: 'system', theme: 'system',
}) })
@@ -414,7 +414,7 @@ export default function Shell({ api }) {
useEffect(() => { settingsRef.current = terminalSettings }, [terminalSettings]) useEffect(() => { settingsRef.current = terminalSettings }, [terminalSettings])
useEffect(() => { useEffect(() => {
baseFontSizeRef.current = terminalSettings.fontSize || 12 baseFontSizeRef.current = terminalSettings.fontSize || 6
}, [terminalSettings.fontSize]) }, [terminalSettings.fontSize])
useEffect(() => { useEffect(() => {
@@ -496,7 +496,7 @@ export default function Shell({ api }) {
api.getConfig().then(d => { api.getConfig().then(d => {
if (d.terminal) { if (d.terminal) {
setTerminalSettings({ setTerminalSettings({
fontSize: d.terminal.font_size || 10, fontSize: d.terminal.font_size || 6,
fontFamily: d.terminal.font_family || "'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'SF Mono', 'Menlo', monospace", fontFamily: d.terminal.font_family || "'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'SF Mono', 'Menlo', monospace",
theme: d.terminal.theme || 'system', theme: d.terminal.theme || 'system',
}) })