-
Matthias Clasen authored
The focus widget might be NULL, and we were forgetting to take that possibility into account in one place.
063bd578
The focus widget might be NULL, and we were forgetting to take that possibility into account in one place.