Cairn
Docs
Claims
Blog
Packages
Claim · cairn_examples 0.2.0
cairn_examples^450 Tray menu
A place of cairn_examples 0.2.0.
- Id
cairn_examples^450- Kind
- place
- Reads as
- no proof
- Version
- 0.2.0
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_examples^453 | Open the menuClick Tray's menu bar item. | proved |
cairn_examples^454 | Show OverlayChoose Show Overlay (Hide Overlay while it is shown), or press ⌘O with the menu open. | proved |
cairn_examples^455 | Keep Recent ItemsChoose Keep Recent Items. | proved |
cairn_examples^456 | Add ItemChoose Add Item while Keep Recent Items is on. | proved |
cairn_examples^459 | Quit TrayChoose Quit Tray, or press ⌘Q with the menu open. | proved |
Flows
| Id | Claim | Reads as |
|---|---|---|
cairn_examples^461 | Show the overlayOpen the menu and choose Show Overlay. | proved |
cairn_examples^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
Tray- Source
lean/Tray.lean:84atv0.2.0- Statement hash
-
Ledger
cairn_examples^450 is active in this version's claims.lock. An id never moves or changes meaning.