def keyReleaseEvent(self, event):
QPlainTextEdit.keyReleaseEvent(self, event)
block_number = self.textCursor().blockNumber()
if block_number != self._last_block_position:
self._last_block_position = block_number
self.emit(SIGNAL("currentLineChanged(int)"), block_number)
def keyReleaseEvent(self, event):
if event.key() == Qt.Key_Control:
self.highlight_current_line()
self.highlight_selected_word()
QPlainTextEdit.keyReleaseEvent(self, event)
def keyReleaseEvent(self, keyEvent):
QPlainTextEdit.keyReleaseEvent(self, keyEvent)
if keyEvent.key() == Qt.Key_Control:
self.__IsControl = False
def keyReleaseEvent(self, event):
QPlainTextEdit.keyReleaseEvent(self, event)
block_number = self.textCursor().blockNumber()
if block_number != self._last_block_position:
self._last_block_position = block_number
self.emit(SIGNAL("currentLineChanged(int)"), block_number)
def keyReleaseEvent(self, event):
if event.key() == Qt.Key_Control:
self.highlight_current_line()
self.highlight_selected_word()
QPlainTextEdit.keyReleaseEvent(self, event)