Cairn
Docs
Claims
Blog
Packages
Claim · cairn 0.2.1
cairn^450 Tray menu
A place of cairn 0.2.1.
- Id
cairn^450- Kind
- place
- Reads as
- no proof
- Version
- 0.2.1
What it is
The menu of Tray's menu bar item: the status line, Show or Hide Overlay, Keep Recent Items, Add Item, the Recent Items submenu and Quit Tray.
In this place
Moves
| Id | Claim | Reads as |
|---|---|---|
cairn^453 | Open the menuClick Tray's menu bar item. | proved |
cairn^454 | Show OverlayChoose Show Overlay (Hide Overlay while it is shown), or press ⌘O with the menu open. | proved |
cairn^455 | Keep Recent ItemsChoose Keep Recent Items. | proved |
cairn^456 | Add ItemChoose Add Item while Keep Recent Items is on. | proved |
cairn^459 | Quit TrayChoose Quit Tray, or press ⌘Q with the menu open. | proved |
Flows
| Id | Claim | Reads as |
|---|---|---|
cairn^461 | Show the overlayOpen the menu and choose Show Overlay. | proved |
cairn^462 | Add an item and pick itChoose Add Item, then the new item under Recent Items. | proved |
Evidence
| no proof | A place states where claims live; it has nothing to prove. | |
| seen | Not shown yet: a screenshot of the app shows it. A CI step will publish it (#95). | |
Where it's defined
- Declaration
Examples.Tray.trayMenu- Module
Examples.Tray- Source
lean/Examples/Tray.lean:84atv0.2.1- Statement hash
-
Ledger
cairn^450 is active in this version's claims.lock. An id never moves or changes meaning.