|
|
|
|
|
by justsomehnguy
344 days ago
|
|
You are just trying to confirm your beliefs. Thing is, the 'filter' box can work as a filter and as a search box. It's even a simple heuristic if it should behave as a filter or switch to the search - if there is no result for the text entered in the textbox then switch to the search. There is zero need to have two search boxes, it's just Mozilla wanted to copy-paste the idiotic solution of MS Office with a top-most search function. That's all. |
|
Do you ever only use one of find and grep? I think they are very similar as the search and the filter bar. I mean you can replace find with tree | grep, not sure about the other way around, but it's probably also possible.
> There is zero need
I do, so it is not exactly zero and I would be annoyed to have them gone, because it is a huge time saver when handling thousands of messages.
> if there is no result for the text entered in the textbox then switch to the search
If the filter starts to draw in messages from other directories, that would be stupid and kind of defeats the point of having a filter in a first place. If you want that why don't you use the search?
> it's just Mozilla wanted to copy-paste the idiotic solution of MS Office with a top-most search function
I don't care where the search bar is placed and I think that functionality did already exist before the current UI, either via ^K or in a menu. I (maybe) do agree with you, in that I don't like putting widgets in window frames (that's for the WM) and prefer classical (CUA-like) menubars.
Can you please criticize the functionality itself? I can't comprehend why you don't see the point of a separate filter. Do you mostly keep messages in the INBOX?
Maybe my original word choice wasn't optimal, because you can consider filtering a subset of searching, but I do consider them to be different. If you rather you use a different terminology, that's fine, but I don't think it will change my point.