From 1a38c2ac1891c9614585b64760f67e428f2fd336 Mon Sep 17 00:00:00 2001 From: iRedTea Date: Wed, 14 Oct 2026 21:20:37 +0300 Subject: [PATCH] feat: terminal tabs a little wider by default --- internal/server/web/static/terminal.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/internal/server/web/static/terminal.js b/internal/server/web/static/terminal.js index c130801..b2733d6 100644 --- a/internal/server/web/static/terminal.js +++ b/internal/server/web/static/terminal.js @@ -251,7 +251,7 @@ // a maximum; when they do not fit, all give way evenly down to a floor, // titles cut with "…", and below the floor the strip scrolls instead. const ruler = document.createElement('canvas').getContext('2d'); - const W = touch ? { min: 76, base: 108, max: 170, font: 12 } : { min: 96, base: 150, max: 280, font: 13 }; + const W = touch ? { min: 76, base: 124, max: 180, font: 12 } : { min: 96, base: 180, max: 300, font: 13 }; const CHROME = touch ? 52 : 62; // padding, dot, gaps, close button, borders function fitTabs() { ruler.font = W.font + 'px ' + getComputedStyle(document.body).fontFamily;