-
Matthias Clasen authored
In commit 4a76abff, we deferred unsetting focus and default until after the next draw, overlooking the case where the focus is set to another widget before we ever get to the unsetting. Fixes: #3413
4d19de4e
In commit 4a76abff, we deferred unsetting focus and default until after the next draw, overlooking the case where the focus is set to another widget before we ever get to the unsetting. Fixes: #3413