• Christian Kandeler's avatar
    Help plugin: Fix possible crash on documentation update. · 5aedcb78
    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