Allow removing files from Search Results

[KoBeWi]

Describe the project you are working on

Some big projects with lots of code etc.

Describe the problem or limitation you are having in your project

I sometimes do full code search inside Godot to find occurrences of something and perform some work. The problem is that sometimes I get results I'm not interested in or I finished doing something in a file and I don't need it anymore. Unfortunately, the only thing I can do about such files is to fold them:

It becomes unwieldy as the list of folded stuff grows and gets in my way.

Describe the feature / enhancement and how it helps to overcome the problem or limitation

In VS Code there is an option to remove a result from the list of found items:

Code_0y2yOkGRdb.mp4

You can remove single elements or whole files. Having this in Godot would be useful, even if only for removing files.

Describe how your proposal will work, with code, pseudo-code, mock-ups, and/or diagrams

In search results there would be a button next to each file/element that allows to delete it:

If we add it only for files, it can be always visible. If for every element, it should likely show only on hover, like in VS Code.

If this enhancement will not be used often, can it be worked around with a few lines of script?

Everything is possible with enough hacking.
Not sure if it's few lines in this case.

Is there a reason why this should be core and not an add-on in the asset library?

It improves usability of integral editor feature.

[Ymanawat]

I want to add a thing: making this searched word label a text edit. This allows us to quickly search for another word if needed. On refreshing, files with the new searched word will appear.
In the place of red line in here:

We can also make the replace bar below with find, so we don't need to go again and select to find and all.

[Calinou]

@Ymanawat Please open a separate proposal so this can be tracked independently 🙂

[EricEzaM]

See also #5544