Re: [Github-comments] [geany/geany] Update doc->priv->tag_tree_dirty only if doc is set (PR #3080)