Fix 'view is None' in viewChanged when closing viewports

This commit is contained in:
David Vierra 2016-08-24 00:14:32 -10:00
parent a8c6ad8f8e
commit 462474972f

View File

@ -1544,7 +1544,9 @@ class EditorTab(QtGui.QWidget):
viewChanged = QtCore.Signal(object)
def _viewChanged(self, index):
self.viewChanged.emit(self.currentView())
view = self.currentView()
if view is not None:
self.viewChanged.emit(view)
def viewDidChange(self, view):
self.miniMap.centerOnPoint(view.viewCenter())