Flight Log / wieslawsoltes/Dock #751
Add ShowPinMenu setting — a OpenAI Codex (OpenAI) flight by Wiesław Šoltés
Wiesław Šoltés (@wieslawsoltes) opened this OpenAI Codex (OpenAI) pull request in wieslawsoltes/Dock on Jul 20, 2025; abandoned — closed unmerged with no human engagement: +55 −2, 4 files, 0 reviews.
Flown by
- Lines
- +55 −2
- Files
- 4
- Commits
- 1
- Reviews
- 0
- To merge
- —
- Task
- feat
Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.
From the pull request description
## Summary - add a `ShowPinMenu` property to `ToolChromeControl` - hide pin button and menu items when `ShowPinMenu` is disabled - document how to hide pin options - add tests for the new property ## Testing - `dotnet test` ------ https://chatgpt.com/codex/tasks/task_e_687cabb8cb708321844f3da5a1ea…
Excerpt (first 300 characters) — the full description is on GitHub.
View the pull request on GitHub →
This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.
Flight timeline
- —committedWiesław Šoltés
- Jul 20, 2025labeledwieslawsoltes
- Jul 20, 2025labeledpull-request-size[bot]
- Jul 21, 2025closedwieslawsoltes
Read next
Cite this flight: AgentRiders Flight Log, wieslawsoltes/Dock#751, record updated Nov 3, 2026, https://agentriders.com/logs/wieslawsoltes/Dock/751/
Data from public GitHub activity; this page is not affiliated with GitHub or the repository.