diff options
| author | Igor Soarez <igor@soarez.org> | 2026-10-27 15:27:14 +0200 |
|---|---|---|
| committer | Igor Soarez <igor@soarez.org> | 2026-10-27 15:27:14 +0200 |
| commit | 9eddef09c769b315f4eabef6eaf4bb58e70d0966 (patch) | |
| tree | c550811ebde6c1b4e2ea7c561a587a15f570fa6a /README.md | |
| parent | a7e065cd4f39abda178af58127ead1ab502e0f3b (diff) | |
menu, panel, search: a peach ! in a column of its own; low dimmed more
the ! was the color of the name, read as part of it, and pushed high
names two characters out of line. it is now peach (herdr's palette, no
status uses it) in a fixed-width column every row has, so names line up.
a low agent's name is dimmed to 0.5 (0.7 was hard to see).
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -99,8 +99,9 @@ than a poll is still a completion. - **Importance**: mark an agent high, normal (the default), or low. Within a status, more important agents are listed first, so a jump goes to them first; status still comes first (a blocked low agent before a done high - one). A high agent shows a bold `!` before its name; a low agent's name is - lightly dimmed, its second line says "low", and it makes no sound (it + one). A high agent shows a peach `!` before its name (in a column of its + own, so names line up); a low agent's name is dimmed, its second line + says "low", and it makes no sound (it still notifies, and waits in line like any other). In pi, type `/importance high|normal|low` (no argument: the current level); pi saves it with the session, so it comes back after `/reload`, a restart, or a |
