Fixed a bug with the Edit Player button

Fixed a bug causing the Edit Player button to stay looking pressed if
the red X in the top-right got pressed.
This commit is contained in:
Rubisk 2015-05-12 21:31:28 +02:00
parent cbd35c1605
commit eb8e722234

View File

@ -93,7 +93,7 @@ class PlayerPanel(QtGui.QWidget):
action.setCheckable(True)
action.triggered.connect(self.toggleView)
self._toggleViewAction = action
self.editorSession.revisionChanged.connect(self.revisionDidChange)
self.initPropertiesWidget()
@ -172,6 +172,10 @@ class PlayerPanel(QtGui.QWidget):
else:
self.hide()
self._toggleViewAction.setChecked(False)
def closeEvent(self, event):
self.toggleView()
event.accept()
def toggleViewAction(self):
return self._toggleViewAction