rnhmjoj/qutebrowser
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Respect inspector height for completion

Browse Source
This commit is contained in:
Florian Bruhin 2014-04-17 15:58:09 +02:00
parent dea30e3f4d
commit 975d83b50e
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
qutebrowser/widgets/mainwindow.py
View File

@ -124,6 +124,9 @@ class MainWindow(QWidget):
# the top of the main window. # the top of the main window.
topleft = QPoint(0, self.height() - self.status.height() - height) topleft = QPoint(0, self.height() - self.status.height() - height)
bottomright = self.status.geometry().topRight() bottomright = self.status.geometry().topRight()
if self.inspector.isVisible():
topleft -= QPoint(0, self.inspector.height())
bottomright -= QPoint(0, self.inspector.height())
self.completion.setGeometry(QRect(topleft, bottomright)) self.completion.setGeometry(QRect(topleft, bottomright))
def _set_default_geometry(self): def _set_default_geometry(self):
@ -135,12 +138,14 @@ class MainWindow(QWidget):
"""Toggle the web inspector.""" """Toggle the web inspector."""
if self.inspector.isVisible(): if self.inspector.isVisible():
self.inspector.hide() self.inspector.hide()
self.resize_completion()
else: else:
if not config.get('webkit', 'developer_extras_enabled'): if not config.get('webkit', 'developer_extras_enabled'):
self.status.disp_error("Please enable developer-extras before " self.status.disp_error("Please enable developer-extras before "
"using the webinspector!") "using the webinspector!")
else: else:
self.inspector.show() self.inspector.show()
self.resize_completion()
@pyqtSlot() @pyqtSlot()
def update_inspector(self): def update_inspector(self):