I think the original bug description was correct here. I doubt we want this box popping up when a user pressing "Ctrl+F". And indeed, the shortcut doesn't do nothing it does pop up this box, which happens to do nothing. Simply typing anywhere will initiate a search.
So the problem isn't that Ctrl+F doesn't do anything. The problem is that Ctrl+F shows this useless box.
I think the original bug description was correct here. I doubt we want this box popping up when a user pressing "Ctrl+F". And indeed, the shortcut doesn't do nothing it does pop up this box, which happens to do nothing. Simply typing anywhere will initiate a search.
So the problem isn't that Ctrl+F doesn't do anything. The problem is that Ctrl+F shows this useless box.