starred/orca
1
0
Fork 0
mirror of https://github.com/stablyai/orca.git synced 2026-10-12 08:02:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix terminal padding: add small inset to xterm container

Browse Source 
Adds 4px top-left margin with matching size reduction to prevent
terminal content from touching the pane edges.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
This commit is contained in:
Jinjing
2026-03-22 14:03:41 -07:00
co-authored by Claude Opus 4.6
parent 1f34ab9337
commit 43e374290e
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/renderer/src/lib/pane-manager.ts
+6 -3
View File
@@ -339,11 +339,14 @@ export class PaneManager {
container.className = 'pane'
container.dataset.paneId = String(id)
// Create .xterm-container
// Create .xterm-container with small inset padding
const TERMINAL_PADDING = 4
const xtermContainer = document.createElement('div')
xtermContainer.className = 'xterm-container'
xtermContainer.style.width = '100%'
xtermContainer.style.height = '100%'
xtermContainer.style.width = `calc(100% - ${TERMINAL_PADDING}px)`
xtermContainer.style.height = `calc(100% - ${TERMINAL_PADDING}px)`
xtermContainer.style.marginTop = `${TERMINAL_PADDING}px`
xtermContainer.style.marginLeft = `${TERMINAL_PADDING}px`
container.appendChild(xtermContainer)
// Build terminal options