From 95eb5ac9bda1e0af30810c01b846b1fb61bb9ac4 Mon Sep 17 00:00:00 2001 From: Gregor Lohaus Date: Sat, 20 Jun 2026 14:42:14 +0200 Subject: [PATCH] thinner borders --- src/main/java/com/gregor/jprototerm/Compositor.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/main/java/com/gregor/jprototerm/Compositor.java b/src/main/java/com/gregor/jprototerm/Compositor.java index c74b683..b71cd96 100644 --- a/src/main/java/com/gregor/jprototerm/Compositor.java +++ b/src/main/java/com/gregor/jprototerm/Compositor.java @@ -40,6 +40,8 @@ public final class Compositor { private static final Color TAB_TEXT = Color.rgb(225, 229, 235); private static final Color PANE_SYNC_SELECT_BORDER = Color.rgb(255, 183, 77); private static final Color PANE_SYNC_COMMITTED_BORDER = Color.rgb(105, 214, 128); + // Keep this narrower than the terminal renderer's active border so focus remains visible. + private static final double PANE_SYNC_BORDER_WIDTH = 1.0; // Thin tab strip shown at the top when more than one tab is open. private static final double TAB_BAR_HEIGHT = 22.0; @@ -530,7 +532,7 @@ public final class Compositor { gc.save(); try { - gc.setLineWidth(4.0); + gc.setLineWidth(PANE_SYNC_BORDER_WIDTH); gc.setStroke(paneSyncSelectMode ? PANE_SYNC_SELECT_BORDER : PANE_SYNC_COMMITTED_BORDER); for (TerminalPane pane : panes) { if (!highlighted.contains(pane)) {