gregor/jprototerm
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

thinner borders

Browse Source
This commit is contained in:
Gregor Lohaus
2026-06-20 14:42:14 +02:00
parent 2c4b89f8f7
commit 95eb5ac9bd
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/com/gregor/jprototerm/Compositor.java
View File

@@ -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)) {