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

Search support #54

Open
Gert-dev opened this issue Oct 16, 2023 · 1 comment
Open

Search support #54

Gert-dev opened this issue Oct 16, 2023 · 1 comment

Comments

@Gert-dev
Copy link

Is it possible that searching currently isn't supported? The Ctrl-F shortcut seems to trigger the bottom panel rather than an actual search bar. After taking the application for a spin with a 4 MB text file, I found myself looking for a way to 'jump to the first hit' and search for something, but I couldn't immediately find any.

Tangentially related to #53 as it is also an idea to improve discoverability of hits.

@phastmike
Copy link
Owner

phastmike commented Oct 16, 2023

Hi again @Gert-dev

To search I tend to create a tag or use the default TreeView search feature which kinda works for me and in my work process i live perfectly ok with it.

There's also the fact that opting for the GtkTreeView as an implementation for the solution, it limited a bit as I'm already using filtering capabilities of that same tree view. Adding a sorted model in conjunction with the filters changes the resulting behavior. At the same time it can be considered as a real time tag.

This will also change as we move away from the GtkTreeView.

Let's see what can be done here.

Thank you for the feeback.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants