if the media doc is invisible, make it visible

This commit is contained in:
Andreas Preikschat 2013-06-06 18:07:05 +02:00
parent 1f80f6c830
commit 34099c5df7
1 changed files with 3 additions and 0 deletions

View File

@ -560,6 +560,9 @@ class MainWindow(QtGui.QMainWindow, Ui_MainWindow):
"""
Called when the search shotcut has been pressed.
"""
# Make sure the media_dock is visible.
if not self.media_manager_dock.isVisible():
self.media_manager_dock.setVisible(True)
widget = self.media_tool_box.currentWidget()
if widget:
widget.on_focus()