def contextMenuEvent(self, event):
"""contextMenuEvent(event)
Show the context menu.
"""
QtWidgets.QTreeView.contextMenuEvent(self, event)
# Get if an item is selected
item = self.currentItem()
if not item:
return
# Create menu
self._menu.clear()
commands = [
("Show namespace", pyzo.translate("pyzoWorkspace",
"Show namespace")),
("Show help", pyzo.translate("pyzoWorkspace", "Show help")),
("Delete", pyzo.translate("pyzoWorkspace", "Delete")),
]
for a, display in commands:
action = self._menu.addAction(display)
action._what = a
parts = splitName(self._proxy._name)
parts.append(item.text(0))
action._objectName = joinName(parts)
action._item = item
# Show
self._menu.popup(QtGui.QCursor.pos() + QtCore.QPoint(3, 3))
def __init__(self, parent, **kwds):
super().__init__(parent, showLineNumbers=True, **kwds)
# Init filename and name
self._filename = ""
self._name = "<TMP>"
# View settings
# TODO: self.setViewWrapSymbols(view.showWrapSymbols)
self.setShowLineEndings(pyzo.config.view.showLineEndings)
self.setShowIndentationGuides(pyzo.config.view.showIndentationGuides)
#
self.setWrap(bool(pyzo.config.view.wrap))
self.setHighlightCurrentLine(pyzo.config.view.highlightCurrentLine)
self.setLongLineIndicatorPosition(pyzo.config.view.edgeColumn)
# TODO: self.setFolding( int(view.codeFolding)*5 )
# bracematch is set in baseTextCtrl, since it also applies to shells
# dito for zoom and tabWidth
# Set line endings to default
self.lineEndings = pyzo.config.settings.defaultLineEndings
# Set encoding to default
self.encoding = "UTF-8"
# Modification time to test file change
self._modifyTime = 0
self.modificationChanged.connect(self._onModificationChanged)
# To see whether the doc has changed to update the parser.
self.textChanged.connect(self._onModified)
# This timer is used to hide the marker that shows which code is executed
self._showRunCursorTimer = QtCore.QTimer()
# Add context menu (the offset is to prevent accidental auto-clicking)
self._menu = EditorContextMenu(self)
self.setContextMenuPolicy(QtCore.Qt.CustomContextMenu)
self.customContextMenuRequested.connect(lambda p: self._menu.popup(
self.mapToGlobal(p) + QtCore.QPoint(0, 3)))
# Update status bar
self.cursorPositionChanged.connect(self._updateStatusBar)
def helpOnText(self, pos):
hw = pyzo.toolManager.getTool("pyzointeractivehelp")
if not hw:
return
name = self.textCursor().selectedText().strip()
if name == "":
cursor = self.cursorForPosition(pos - self.mapToGlobal(QtCore.QPoint(0, 0)))
line = cursor.block().text()
limit = cursor.positionInBlock()
while limit < len(line) and (
line[limit].isalnum() or line[limit] in (".", "_")
):
limit += 1
cursor.movePosition(cursor.Right)
_, tokens = self.getTokensUpToCursor(cursor)
nameBefore, name = parseLine_autocomplete(tokens)
if nameBefore:
name = "%s.%s" % (nameBefore, name)
if name != "":
hw.setObjectName(name, True)
def _alignRecursive(self):
"""_alignRecursive()
Recursive alignment of the items. The alignment process
should be initiated from alignTabs().
"""
# Only if visible
if not self.isVisible():
return
# Get tab bar and number of items
N = self.count()
# Get right edge of last tab and left edge of corner widget
pos1 = self.tabRect(0).topLeft()
pos2 = self.tabRect(N - 1).topRight()
cornerWidget = self.parent().cornerWidget()
if cornerWidget:
pos3 = cornerWidget.pos()
else:
pos3 = QtCore.QPoint(int(self.width()), 0)
x1 = pos1.x()
x2 = pos2.x()
x3 = pos3.x()
alignMargin = x3 - (x2 - x1) - 3 # Must be positive (has margin)
# Are the tabs too wide?
if alignMargin < 0:
# Tabs extend beyond corner widget
# Reduce width then
self._alignWidth -= 1
self._alignWidth = max(self._alignWidth, MIN_NAME_WIDTH)
# Apply
self._setMaxWidthOfAllItems()
self._alignWidthIsReducing = True
# Try again if there's still room for reduction
if self._alignWidth > MIN_NAME_WIDTH:
self._alignTimer.start()
elif alignMargin > 10 and not self._alignWidthIsReducing:
# Gap between tabs and corner widget is a bit large
# Increase width then
self._alignWidth += 1
self._alignWidth = min(self._alignWidth, MAX_NAME_WIDTH)
# Apply
itemsElided = self._setMaxWidthOfAllItems()
# Try again if there's still room for increment
if itemsElided and self._alignWidth < MAX_NAME_WIDTH:
self._alignTimer.start()
# self._alignTimer.timeout.emit()
else:
pass # margin is good