Skip to content
Snippets Groups Projects
user avatar
Christian Kandeler authored
We must not call updateFilterPage() when the "Options" dialog
is not currently open.
Without this patch, Creator will crash on a documentation update
if that dialog has been opened at least once and is currently closed.

Reviewed-by: kh1
Reviewed-by: con
5aedcb78
History