1 files changed, 42 insertions, 0 deletions
diff --git a/src/gui/gui.zig b/src/gui/gui.zig
index fdcd7b2a..bde9aecd 100644
--- a/src/gui/gui.zig
+++ b/src/gui/gui.zig
@@ -5732,8 +5732,10 @@ fn renderFrame(
         if (core) |p| {
             var boxes: [max_cursors]CursorBox = undefined;
             const cursors = if (cursors_shown) cursorBoxes(g, surface, layout, win_h, &boxes) else 0;
+            var spare: [Post.max_spare][4]f32 = undefined;
             g.post.describe(.{
                 .cursor = if (cursors > 0) boxes[0] else null,
+                .spare = spare[0..postSpare(surface, layout, &spare)],
                 .background = chrome.page orelse bg_default,
                 .foreground = chrome.fg orelse fg_default,
                 .selection_foreground = p.theme().sel_fg,
@@ -8594,6 +8596,46 @@ test "decor is read from the regions, each pane's in its own group" {
     try std.testing.expectEqual(@as(u32, 0), groups.items[groups.ink].decor_count);
 }
 
+/// What a bundled post pass leaves alone (Post.Frame.spare), in window
+/// pixels: every tag with its grip, the column and workspace tags, and the
+/// notices, the chrome the focus indicators live in. A grip, the gap after
+/// it and the tag beside it are one rectangle; past the list's end the last
+/// grows to cover the rest.
+fn postSpare(surface: *const pardes.Surface, layout: CellLayout, out: *[Post.max_spare][4]f32) usize {
+    var n: usize = 0;
+    for (surface.regionList()) |region| {
+        switch (region.kind) {
+            .grip, .tag, .notice, .column_grip, .column_tag, .workspace_tag => {},
+            else => continue,
+        }
+        if (region.rect.w == 0 or region.rect.h == 0) continue;
+        const rect: [4]f32 = .{
+            @as(f32, @floatFromInt(region.rect.x)) * layout.w,
+            @as(f32, @floatFromInt(region.rect.y)) * layout.h,
+            @as(f32, @floatFromInt(region.rect.x + region.rect.w)) * layout.w,
+            @as(f32, @floatFromInt(region.rect.y + region.rect.h)) * layout.h,
+        };
+        const joined = for (out[0..n]) |*other| {
+            // The same rows, a gap cell or two apart (a grip, the gap after
+            // it, its tag): one band.
+            const gap = 2 * layout.w + 0.5;
+            if (other[1] == rect[1] and other[3] == rect[3] and rect[0] <= other[2] + gap and other[0] <= rect[2] + gap) {
+                other.* = .{ @min(other[0], rect[0]), rect[1], @max(other[2], rect[2]), rect[3] };
+                break true;
+            }
+        } else false;
+        if (joined) continue;
+        if (n == out.len) {
+            const last = &out[n - 1];
+            last.* = .{ @min(last[0], rect[0]), @min(last[1], rect[1]), @max(last[2], rect[2]), @max(last[3], rect[3]) };
+            continue;
+        }
+        out[n] = rect;
+        n += 1;
+    }
+    return n;
+}
+
 const CursorBox = Post.Frame.Cursor;
 const max_cursors = 1 + pardes.MAX_PANES + pardes.MAX_TAG_LAYERS;