search

Genio-The-Haiku-IDE / Genio

The Haiku IDE
Other
69 stars 9 forks source link

DELETE key to remove a search result #389

Closed Freaxed closed 4 months ago

Freaxed commented 4 months ago

When working with search results, can be convinient to 'remove' the already analized results. Just press the DELETE key to remove the selected one!