GitHub Editor Zen Mode
Removed from the store crawl · Nov 5, 2026, 8:32 PM. Metrics and description are kept from the last indexed snapshot.
stone
Add a button to the GitHub editor to toggle zen mode
Removed from the store crawl · Nov 5, 2026, 8:32 PM. Metrics and description are kept from the last indexed snapshot.
stone
Add a button to the GitHub editor to toggle zen mode
