def __init__(self, parent, info):
BaseShell.__init__(self, parent)
# Get standard info if not given.
if info is None and iep.config.shellConfigs2:
info = iep.config.shellConfigs2[0]
if not info:
info = KernelInfo(None)
# Store info so we can reuse it on a restart
self._info = info
# For the editor to keep track of attempted imports
self._importAttempts = []
# To keep track of the response for introspection
self._currentCTO = None
self._currentACO = None
# Write buffer to store messages in for writing
self._write_buffer = None
# Create timer to keep polling any results
# todo: Maybe use yoton events to process messages as they arrive.
# I tried this briefly, but it seemd to be less efficient because
# messages are not so much bach-processed anymore. We should decide
# on either method.
self._timer = QtCore.QTimer(self)
self._timer.setInterval(POLL_TIMER_INTERVAL) # ms
self._timer.setSingleShot(False)
self._timer.timeout.connect(self.poll)
self._timer.start()
# Add context menu
self._menu = ShellContextMenu(shell=self, parent=self)
self.setContextMenuPolicy(QtCore.Qt.CustomContextMenu)
self.customContextMenuRequested.connect(lambda p: self._menu.popup(
self.mapToGlobal(p + QtCore.QPoint(0, 3))))
# Start!
self.resetVariables()
self.connectToKernel(info)
def __init__(self, parent, **kwds):
super().__init__(parent, showLineNumbers=True, **kwds)
# Init filename and name
self._filename = ''
self._name = '<TMP>'
# View settings
self.setShowWhitespace(iep.config.view.showWhitespace)
#TODO: self.setViewWrapSymbols(view.showWrapSymbols)
self.setShowLineEndings(iep.config.view.showLineEndings)
self.setShowIndentationGuides(iep.config.view.showIndentationGuides)
#
self.setWrap(bool(iep.config.view.wrap))
self.setHighlightCurrentLine(iep.config.view.highlightCurrentLine)
self.setLongLineIndicatorPosition(iep.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 = iep.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)))
def contextMenuEvent(self, event):
""" contextMenuEvent(event)
Show the context menu.
"""
QtGui.QTreeView.contextMenuEvent(self, event)
# Get if an item is selected
item = self.currentItem()
if not item:
return
# Create menu
self._menu.clear()
for a in ['Show namespace', 'Show help', 'Delete']:
action = self._menu.addAction(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 _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(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