Delete „search“ button?

[kelson42]

I suggest to just delete the button and just apply filter each time the search pattern changes. Would be significantly quicker and easier tomfind content that way.

would be very similar like the GitHub repositories

[rgaudin]

What is expected for this and #76 in light of #73?

[kelson42]

@siemsie I guess this are questions for you

[rgaudin]

@siemsie I guess this are questions for you

I was questioning the legitimacy of the issues given those are UI-based and tied to current UI: whether to fix current one before the makeover.

FYI in the new UI, there is no search box at all so it's not relevant.