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:19 +02:00
parent 2c4b89f8f7
commit 86dd79d5b1
1 changed files with 10 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -530,17 +530,22 @@ public final class Compositor {
gc.save(); gc.save();
try { try {
gc.setLineWidth(4.0); // Draw a thin sync border inset just inside the pane's own edge border, so the
// renderer's active (blue) / inactive border stays visible and you can still tell
// which synced pane is focused.
double lineWidth = 2.0;
double inset = 2.0 + lineWidth / 2.0; // clear the renderer's 2px active border
gc.setLineWidth(lineWidth);
gc.setStroke(paneSyncSelectMode ? PANE_SYNC_SELECT_BORDER : PANE_SYNC_COMMITTED_BORDER); gc.setStroke(paneSyncSelectMode ? PANE_SYNC_SELECT_BORDER : PANE_SYNC_COMMITTED_BORDER);
for (TerminalPane pane : panes) { for (TerminalPane pane : panes) {
if (!highlighted.contains(pane)) { if (!highlighted.contains(pane)) {
continue; continue;
} }
gc.save(); gc.save();
double x = Math.round(pane.x()) + 2.0; double x = Math.round(pane.x()) + inset;
double y = Math.round(pane.y()) + 2.0; double y = Math.round(pane.y()) + inset;
double width = Math.max(0.0, pane.width() - 4.0); double width = Math.max(0.0, pane.width() - 2.0 * inset);
double height = Math.max(0.0, pane.height() - 4.0); double height = Math.max(0.0, pane.height() - 2.0 * inset);
TerminalRenderer.clip(gc, Math.round(pane.x()), Math.round(pane.y()), pane.width(), pane.height(), pane.clip()); TerminalRenderer.clip(gc, Math.round(pane.x()), Math.round(pane.y()), pane.width(), pane.height(), pane.clip());
gc.strokeRect(x, y, width, height); gc.strokeRect(x, y, width, height);
gc.restore(); gc.restore();