Merged
requested to merge ggadinger/kate:fix-crash-when-closing-a-document-in-split-view into master
documentDestroyed
is already called through KateViewManager::deleteView
(which in turn calls KateViewSpace::removeView
)
cc @waqar
documentDestroyed
is already called through KateViewManager::deleteView
(which in turn calls KateViewSpace::removeView
)
cc @waqar