diff options
| author | Igor Soarez <igor@soarez.org> | 2026-10-22 00:02:16 +0300 |
|---|---|---|
| committer | Igor Soarez <igor@soarez.org> | 2026-10-22 00:02:16 +0300 |
| commit | 7649396bf30a65096fc3944e1404835e661f00af (patch) | |
| tree | caea05531b4f2615425455261962fd433a6eea96 /packaging/launchd | |
| parent | aa4d6fcd9eac0d0fe051d6307ed6009adefbb2e1 (diff) | |
panel: on/off is persistent; what it shows is a separate setting
hiding the panel with the shortcut used to last only until another agent
started waiting: one action meant both "not now" and "off", with an
invisible override on top of a three-way mode. now there are two visible
settings: the panel is on or off (ctrl+opt+cmd+e and a checkmarked "Show
Panel" item), and while on it shows always or only when agents are waiting
("Panel Shows"). off stays off. turning it on with nothing to show peeks
for 3 seconds. the old mode setting migrates.
selftest covers the rules; it fails if a waiting agent can show a panel
that is off.
Diffstat (limited to 'packaging/launchd')
0 files changed, 0 insertions, 0 deletions
