##// END OF EJS Templates
BUG: Completion widget position and pager focus....
Prabhu Ramachandran -
Show More
@@ -86,10 +86,11 b' class CompletionWidget(QtGui.QListWidget):'
86 text_edit = self._text_edit
86 text_edit = self._text_edit
87 point = text_edit.cursorRect(cursor).bottomRight()
87 point = text_edit.cursorRect(cursor).bottomRight()
88 point = text_edit.mapToGlobal(point)
88 point = text_edit.mapToGlobal(point)
89 height = self.sizeHint().height()
89 screen_rect = QtGui.QApplication.desktop().availableGeometry(self)
90 screen_rect = QtGui.QApplication.desktop().availableGeometry(self)
90 if screen_rect.size().height() - point.y() - self.height() < 0:
91 if screen_rect.size().height() - point.y() - height < 0:
91 point = text_edit.mapToGlobal(text_edit.cursorRect().topRight())
92 point = text_edit.mapToGlobal(text_edit.cursorRect().topRight())
92 point.setY(point.y() - self.height())
93 point.setY(point.y() - height)
93 self.move(point)
94 self.move(point)
94
95
95 self._start_position = cursor.position()
96 self._start_position = cursor.position()
@@ -1261,6 +1261,7 b' class ConsoleWidget(LoggingConfigurable, QtGui.QWidget):'
1261 elif key in (QtCore.Qt.Key_Q, QtCore.Qt.Key_Escape):
1261 elif key in (QtCore.Qt.Key_Q, QtCore.Qt.Key_Escape):
1262 if self._splitter:
1262 if self._splitter:
1263 self._page_control.hide()
1263 self._page_control.hide()
1264 self._control.setFocus()
1264 else:
1265 else:
1265 self.layout().setCurrentWidget(self._control)
1266 self.layout().setCurrentWidget(self._control)
1266 return True
1267 return True
General Comments 0
You need to be logged in to leave comments. Login now