In
forum/topic.php?p=164558#real164558 schlug Nutzer0815 vor, die Suche erst zu starten, wenn man Enter drückt. Ich habe die Live-Suche direkt nach Eingabe von Zeichen jetzt mal deaktiviert. Die Suche erfolgt jetzt erst bei Klick auf "Aktualisieren". Da das der Default-Button ist, genügt auch ein Druck auf "Enter", wenn man sich mit dem Cursor im Feld "Suchbegriff" befindet. Zumindest unter Linux funktioniert das.
Ist morgen im Nightly-Build. Mal schauen, wie das User-Feedback ist. Wenn ich den Eindruck habe, dass mehr User die vorherige Version besser fanden, würde ich die Live-Suche wieder aktivieren.