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

Add ability to filter out tags from offline notebooks #1495

Closed
stevencohn opened this issue Jul 22, 2024 · 0 comments · Fixed by #1496
Closed

Add ability to filter out tags from offline notebooks #1495

stevencohn opened this issue Jul 22, 2024 · 0 comments · Fixed by #1496
Assignees
Labels
feature-request New feature or request released Available in a released installer

Comments

@stevencohn
Copy link
Owner

Problem to Solve

The Find Hashtags dialog will report tags from offline (unloaded or closed) notebooks as disabled/grayed-out search result items. This makes finding available tags cumbersome.

New Feature/Solution

Add an option to filter out tags from offline notebooks. This option could appear on the fly-out menu and be implicitly saved as an user preference that is applied when subsequently opening the dialog.

Alternative Solutions

None

Additional Context

None

stevencohn added a commit that referenced this issue Jul 22, 2024
* Add open to filter out tags from offline notebooks
#1495

* menu item translations
@stevencohn stevencohn self-assigned this Jul 22, 2024
@stevencohn stevencohn added the next-release Addressed but not yet released label Jul 22, 2024
@stevencohn stevencohn linked a pull request Jul 22, 2024 that will close this issue
weissm pushed a commit to weissm/OneMore that referenced this issue Jul 29, 2024
* Add open to filter out tags from offline notebooks
stevencohn#1495

* menu item translations
weissm pushed a commit to weissm/OneMore that referenced this issue Jul 29, 2024
* Add open to filter out tags from offline notebooks
stevencohn#1495

* menu item translations
@stevencohn stevencohn added the feature-request New feature or request label Jul 29, 2024
@stevencohn stevencohn added released Available in a released installer and removed next-release Addressed but not yet released labels Aug 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature-request New feature or request released Available in a released installer
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant