def highlightBlock(self, qstring):
""" Highlight a block of text. Reimplemented to highlight selectively.
"""
if not self.highlighting_on:
return
# The input to this function is unicode string that may contain
# paragraph break characters, non-breaking spaces, etc. Here we acquire
# the string as plain text so we can compare it.
current_block = self.currentBlock()
string = self._frontend._get_block_plain_text(current_block)
# Decide whether to check for the regular or continuation prompt.
if current_block.contains(self._frontend._prompt_pos):
prompt = self._frontend._prompt
else:
prompt = self._frontend._continuation_prompt
# Don't highlight the part of the string that contains the prompt.
if string.startswith(prompt):
self._current_offset = len(prompt)
qstring.remove(0, len(prompt))
else:
self._current_offset = 0
PygmentsHighlighter.highlightBlock(self, qstring)
def highlightBlock(self, string):
""" Highlight a block of text. Reimplemented to highlight selectively.
"""
if not self.highlighting_on:
return
# The input to this function is a unicode string that may contain
# paragraph break characters, non-breaking spaces, etc. Here we acquire
# the string as plain text so we can compare it.
current_block = self.currentBlock()
string = self._frontend._get_block_plain_text(current_block)
# Decide whether to check for the regular or continuation prompt.
if current_block.contains(self._frontend._prompt_pos):
prompt = self._frontend._prompt
else:
prompt = self._frontend._continuation_prompt
# Don't highlight the part of the string that contains the prompt.
if string.startswith(prompt):
self._current_offset = len(prompt)
string = string[len(prompt):]
else:
self._current_offset = 0
PygmentsHighlighter.highlightBlock(self, string)
def setFormat(self, start, count, format):
""" Reimplemented to highlight selectively.
"""
start += self._current_offset
PygmentsHighlighter.setFormat(self, start, count, format)
def setFormat(self, start, count, format):
""" Reimplemented to highlight selectively.
"""
start += self._current_offset
PygmentsHighlighter.setFormat(self, start, count, format)
def __init__(self,
parent,
should_highlight_current_line=True,
font=None,
lexer=None):
super(CodeWidget, self).__init__(parent)
self.highlighter = PygmentsHighlighter(self.document(), lexer)
self.line_number_widget = LineNumberWidget(self)
self.status_widget = StatusGutterWidget(self)
if font is None:
# Set a decent fixed width font for this platform.
font = QtGui.QFont()
if sys.platform == 'win32':
# Prefer Consolas, but fall back to Courier if necessary.
font.setFamily('Consolas')
if not font.exactMatch():
font.setFamily('Courier')
elif sys.platform == 'darwin':
font.setFamily('Monaco')
else:
font.setFamily('Monospace')
font.setStyleHint(QtGui.QFont.TypeWriter)
self.set_font(font)
# Whether we should highlight the current line or not.
self.should_highlight_current_line = should_highlight_current_line
# What that highlight color should be.
self.line_highlight_color = QtGui.QColor(QtCore.Qt.yellow).lighter(160)
# Auto-indentation behavior
self.auto_indent = True
self.smart_backspace = True
# Tab settings
self.tabs_as_spaces = True
self.tab_width = 4
self.indent_character = ':'
self.comment_character = '#'
# Set up gutter widget and current line highlighting
self.blockCountChanged.connect(self.update_line_number_width)
self.updateRequest.connect(self.update_line_numbers)
self.cursorPositionChanged.connect(self.highlight_current_line)
self.update_line_number_width()
self.highlight_current_line()
# Don't wrap text
self.setLineWrapMode(QtGui.QPlainTextEdit.NoWrap)
# Key bindings
self.indent_key = QtGui.QKeySequence(QtCore.Qt.Key_Tab)
self.unindent_key = QtGui.QKeySequence(QtCore.Qt.SHIFT +
QtCore.Qt.Key_Backtab)
self.comment_key = QtGui.QKeySequence(QtCore.Qt.CTRL +
QtCore.Qt.Key_Slash)
self.backspace_key = QtGui.QKeySequence(QtCore.Qt.Key_Backspace)