From 003b36c4a05445b9e6ecc3e222235b4693fde04c Mon Sep 17 00:00:00 2001 From: iris Date: Sun, 31 May 2026 11:52:45 +0200 Subject: [PATCH] =?UTF-8?q?docs/web-ui.md:=20trim=203=20blank=20lines=20?= =?UTF-8?q?=E2=86=92=201=20before=20Selection=20bar=20(argus=20#722)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/web-ui.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/docs/web-ui.md b/docs/web-ui.md index ee2ce321..67b44b71 100644 --- a/docs/web-ui.md +++ b/docs/web-ui.md @@ -472,8 +472,6 @@ needed). The joint at the row's own depth column is `├` (more siblings below) or `└` (last sibling at this depth — vertical stops at the row's icon midline). - - ### Selection bar When one or more agents are selected (via icon click), a sticky