Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Primary cache: palette commands for devs #4731

Closed
teh-cmc opened this issue Jan 8, 2024 · 0 comments · Fixed by #4948
Closed

Primary cache: palette commands for devs #4731

teh-cmc opened this issue Jan 8, 2024 · 0 comments · Fixed by #4948
Assignees
Labels
🧑‍💻 dev experience developer experience (excluding CI) 🔍 re_query affects re_query itself

Comments

@teh-cmc
Copy link
Member

teh-cmc commented Jan 8, 2024

The primary cache should expose at least two developer commands in the palette:

  • Clear primary cache: unconditionally wipes the primary cache.
  • Print primary cache: should print detailed information about what's cache, while still being usable with large caches.

Optionally, it would be very nice if the primary cache toggle checkboxes were also available as palette commands: I hate reaching for my mouse.

@teh-cmc teh-cmc added 🧑‍💻 dev experience developer experience (excluding CI) 🔍 re_query affects re_query itself labels Jan 8, 2024
@teh-cmc teh-cmc changed the title Implement primary cache palette commands for devs Primary cache: palette commands for devs Jan 8, 2024
@teh-cmc teh-cmc self-assigned this Jan 29, 2024
teh-cmc added a commit that referenced this issue Jan 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🧑‍💻 dev experience developer experience (excluding CI) 🔍 re_query affects re_query itself
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant