Johannes Altmanninger ebc460b9f9 Fix search field state not resetting after search field is hidden ...

Commit 4f536d6a9b (Update commandline state snapshot lazily,
2024-04-13) add an optimization to update the search field only if
necessary.  The optimization accidentally prevents us from resetting
the search field.

Fixes #11161

(cherry picked from commit 72f2433120)

2025-02-19 10:47:21 +01:00

6.5 KiB

Raw Blame History

View Raw