class CompactTabBar(QtGui.QTabBar):
""" CompactTabBar(parent, *args, padding=(4,4,6,6), preventEqualTexts=True)
Tab bar corresponcing to the CompactTabWidget.
With the "padding" argument the padding of the tabs can be chosen.
It should be an integer, or a 4 element tuple specifying the padding
for top, bottom, left, right. When a tab has a button,
the padding is the space between button and text.
With preventEqualTexts to True, will reduce the amount of eliding if
two tabs have (partly) the same name, so that they can always be
distinguished.
"""
# Add signal to be notified of double clicks on tabs
tabDoubleClicked = QtCore.Signal(int)
barDoubleClicked = QtCore.Signal()
def __init__(self, *args, padding=(4, 4, 6, 6), preventEqualTexts=True):
QtGui.QTabBar.__init__(self, *args)
# Put tab widget in document mode
self.setDocumentMode(True)
# Widget needs to draw its background (otherwise Mac has a dark bg)
self.setDrawBase(False)
if sys.platform == 'darwin':
self.setAutoFillBackground(True)
# Set whether we want to prevent eliding for names that start the same.
self._preventEqualTexts = preventEqualTexts
# Allow moving tabs around
self.setMovable(True)
# Get padding
if isinstance(padding, (int, float)):
padding = padding, padding, padding, padding
elif isinstance(padding, (tuple, list)):
pass
else:
raise ValueError('Invalid value for padding.')
# Set style sheet
stylesheet = STYLESHEET
stylesheet = stylesheet.replace('PADDING_TOP', str(padding[0]))
stylesheet = stylesheet.replace('PADDING_BOTTOM', str(padding[1]))
stylesheet = stylesheet.replace('PADDING_LEFT', str(padding[2]))
stylesheet = stylesheet.replace('PADDING_RIGHT', str(padding[3]))
self.setStyleSheet(stylesheet)
# We do our own eliding
self.setElideMode(QtCore.Qt.ElideNone)
# Make tabs wider if there's plenty space?
self.setExpanding(False)
# If there's not enough space, use scroll buttons
self.setUsesScrollButtons(True)
# When a tab is removed, select previous
self.setSelectionBehaviorOnRemove(self.SelectPreviousTab)
# Init alignment parameters
self._alignWidth = MIN_NAME_WIDTH # Width in characters
self._alignWidthIsReducing = False # Whether in process of reducing
# Create timer for aligning
self._alignTimer = QtCore.QTimer(self)
self._alignTimer.setInterval(10)
self._alignTimer.setSingleShot(True)
self._alignTimer.timeout.connect(self._alignRecursive)
def _compactTabBarData(self, i):
""" _compactTabBarData(i)
Get the underlying tab data for tab i. Only for internal use.
"""
# Get current TabData instance
tabData = QtGui.QTabBar.tabData(self, i)
if (tabData is not None) and hasattr(tabData, 'toPyObject'):
tabData = tabData.toPyObject() # Older version of Qt
# If none, make it as good as we can
if not tabData:
name = str(QtGui.QTabBar.tabText(self, i))
tabData = TabData(name)
QtGui.QTabBar.setTabData(self, i, tabData)
# Done
return tabData
## Overload a few methods
def mouseDoubleClickEvent(self, event):
i = self.tabAt(event.pos())
if i == -1:
# There was no tab under the cursor
self.barDoubleClicked.emit()
else:
# Tab was double clicked
self.tabDoubleClicked.emit(i)
def setTabData(self, i, data):
""" setTabData(i, data)
Set the given object at the tab with index 1.
"""
# Get underlying python instance
tabData = self._compactTabBarData(i)
# Attach given data
tabData.data = data
def tabData(self, i):
""" tabData(i)
Get the tab data at item i. Always returns a Python object.
"""
# Get underlying python instance
tabData = self._compactTabBarData(i)
# Return stored data
return tabData.data
def setTabText(self, i, text):
""" setTabText(i, text)
Set the text for tab i.
"""
tabData = self._compactTabBarData(i)
if text != tabData.name:
tabData.name = text
self.alignTabs()
def tabText(self, i):
""" tabText(i)
Get the title of the tab at index i.
"""
tabData = self._compactTabBarData(i)
return tabData.name
## Overload events and protected functions
def tabInserted(self, i):
QtGui.QTabBar.tabInserted(self, i)
# Is called when a tab is inserted
# Get given name and store
name = str(QtGui.QTabBar.tabText(self, i))
tabData = TabData(name)
QtGui.QTabBar.setTabData(self, i, tabData)
# Update
self.alignTabs()
def tabRemoved(self, i):
QtGui.QTabBar.tabRemoved(self, i)
# Update
self.alignTabs()
def resizeEvent(self, event):
QtGui.QTabBar.resizeEvent(self, event)
self.alignTabs()
def showEvent(self, event):
QtGui.QTabBar.showEvent(self, event)
self.alignTabs()
## For aligning
def alignTabs(self):
""" alignTabs()
Align the tab items. Their names are ellided if required so that
all tabs fit on the tab bar if possible. When there is too little
space, the QTabBar will kick in and draw scroll arrows.
"""
# Set name widths correct (in case new names were added)
self._setMaxWidthOfAllItems()
# Start alignment process
self._alignWidthIsReducing = False
self._alignTimer.start()
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
def _getAllNames(self):
""" _getAllNames()
Get a list of all (full) tab names.
"""
return [self._compactTabBarData(i).name for i in range(self.count())]
def _setMaxWidthOfAllItems(self):
""" _setMaxWidthOfAllItems()
Sets the maximum width of all items now, by eliding the names.
Returns whether any items were elided.
"""
# Prepare for measuring font sizes
font = self.font()
metrics = QtGui.QFontMetrics(font)
# Get whether an item was reduced in size
itemReduced = False
for i in range(self.count()):
# Get width
w = self._alignWidth
# Get name
name = name0 = self._compactTabBarData(i).name
# Check if we can reduce the name size, correct w if necessary
if ((w + 1) < len(name0)) and self._preventEqualTexts:
# Increase w untill there are no names that start the same
allNames = self._getAllNames()
hasSimilarNames = True
diff = 2
w -= 1
while hasSimilarNames and w < len(name0):
w += 1
w2 = w - (diff - 1)
shortName = name[:w2]
similarnames = [n for n in allNames if n[:w2] == shortName]
hasSimilarNames = len(similarnames) > 1
# Check again, with corrected w
if (w + 1) < len(name0):
name = name[:w] + ELLIPSIS
itemReduced = True
# Set text now
QtGui.QTabBar.setTabText(self, i, name)
# Done
return itemReduced
class Installer(QtGui.QDialog):
lineFromStdOut = QtCore.Signal(str)
def __init__(self, parent=None):
QtGui.QDialog.__init__(self, parent)
self.setWindowTitle('Install miniconda')
self.setModal(True)
self.resize(500, 500)
text = 'This will download and install miniconda on your computer.'
self._label = QtGui.QLabel(text, self)
self._scipystack = QtGui.QCheckBox('Also install scientific packages',
self)
self._scipystack.setChecked(True)
self._path = QtGui.QLineEdit(default_conda_dir, self)
self._progress = QtGui.QProgressBar(self)
self._outputLine = QtGui.QLabel(self)
self._output = QtGui.QPlainTextEdit(self)
self._output.setReadOnly(True)
self._button = QtGui.QPushButton('Install', self)
self._outputLine.setSizePolicy(QtGui.QSizePolicy.Ignored,
QtGui.QSizePolicy.Fixed)
vbox = QtGui.QVBoxLayout(self)
self.setLayout(vbox)
vbox.addWidget(self._label, 0)
vbox.addWidget(self._path, 0)
vbox.addWidget(self._scipystack, 0)
vbox.addWidget(self._progress, 0)
vbox.addWidget(self._outputLine, 0)
vbox.addWidget(self._output, 1)
vbox.addWidget(self._button, 0)
self._button.clicked.connect(self.go)
self.addOutput('Waiting to start installation.\n')
self._progress.setVisible(False)
self.lineFromStdOut.connect(self.setStatus)
def setStatus(self, line):
self._outputLine.setText(line)
def addOutput(self, text):
#self._output.setPlainText(self._output.toPlainText() + '\n' + text)
cursor = self._output.textCursor()
cursor.movePosition(cursor.End, cursor.MoveAnchor)
cursor.insertText(text)
cursor.movePosition(cursor.End, cursor.MoveAnchor)
self._output.setTextCursor(cursor)
self._output.ensureCursorVisible()
def addStatus(self, line):
self.addOutput('\n' + line)
self.setStatus(line)
def go(self):
# Check if we can install
try:
self._conda_dir = self._path.text()
if not os.path.isabs(self._conda_dir):
raise ValueError('Given installation path must be absolute.')
if os.path.exists(self._conda_dir):
raise ValueError('The given installation path already exists.')
except Exception as err:
self.addOutput('\nCould not install:\n' + str(err))
return
ok = False
try:
# Disable user input, get ready for installation
self._progress.setVisible(True)
self._button.clicked.disconnect()
self._button.setEnabled(False)
self._scipystack.setEnabled(False)
self._path.setEnabled(False)
if not os.path.exists(self._conda_dir):
self.addStatus('Downloading installer ... ')
self._progress.setMaximum(100)
self.download()
self.addStatus('Done downloading installer.')
self.make_done()
self.addStatus('Installing (this can take a minute) ... ')
self._progress.setMaximum(0)
ret = self.install()
self.addStatus(('Failed' if ret else 'Done') + ' installing.')
self.make_done()
self.post_install()
if self._scipystack.isChecked():
self.addStatus('Installing scientific packages ... ')
self._progress.setMaximum(0)
ret = self.install_scipy()
self.addStatus('Done installing scientific packages')
self.make_done()
self.addStatus('Verifying ... ')
self._progress.setMaximum(100)
ret = self.verify()
if ret:
self.addOutput('Error\n' + ret)
self.addStatus('Verification Failed!')
else:
self.addOutput('Done verifying')
self.addStatus('Ready to go!')
self.make_done()
ok = True
except Exception as err:
self.addStatus('Installation failed ...')
self.addOutput('\n\nException!\n' + str(err))
if not ok:
self.addOutput(
'\n\nWe recommend installing miniconda or anaconda, ')
self.addOutput(
'and making Pyzo aware if it via the shell configuration.')
else:
self.addOutput(
'\n\nYou can install additional packages by running "conda install" in the shell.'
)
# Wrap up, allow user to exit
self._progress.hide()
self._button.setEnabled(True)
self._button.setText('Close')
self._button.clicked.connect(self.close)
def make_done(self):
self._progress.setMaximum(100)
self._progress.setValue(100)
etime = time.time() + 0.2
while time.time() < etime:
time.sleep(0.01)
QtGui.qApp.processEvents()
def download(self):
# Installer already downloaded?
if os.path.isfile(miniconda_path):
self.addOutput('Already downloaded.')
return # os.remove(miniconda_path)
# Get url key
key = ''
if sys.platform.startswith('win'):
key = 'win'
elif sys.platform.startswith('darwin'):
key = 'osx'
elif sys.platform.startswith('linux'):
key = 'linux'
key += '64' if is_64bit() else '32'
# Get url
if key not in links:
raise RuntimeError('Cannot download miniconda for this platform.')
url = base_url + links[key]
_fetch_file(url, miniconda_path, self._progress)
def install(self):
dest = self._conda_dir
# Clear dir
assert not os.path.isdir(dest), 'Miniconda dir already exists'
assert ' ' not in dest, 'miniconda dest path must not contain spaces'
if sys.platform.startswith('win'):
return self._run_process([miniconda_path, '/S', '/D=%s' % dest])
else:
os.chmod(miniconda_path,
os.stat(miniconda_path).st_mode | stat.S_IEXEC)
return self._run_process([miniconda_path, '-b', '-p', dest])
def post_install(self):
exe = py_exe(self._conda_dir)
# Add Pyzo channel
cmd = [
exe, '-m', 'conda', 'config', '--system', '--add', 'channels',
'pyzo'
]
subprocess.check_call(cmd, shell=sys.platform.startswith('win'))
self.addStatus('Added Pyzo channel to conda env')
# Add to pyzo shell config
first = None
if pyzo.config.shellConfigs2 and pyzo.config.shellConfigs2[0][
'exe'] == exe:
pass
else:
s = pyzo.ssdf.new()
s.name = 'Py3-conda'
s.exe = exe
s.gui = 'PyQt4'
pyzo.config.shellConfigs2.insert(0, s)
pyzo.saveConfig()
self.addStatus('Prepended new env to Pyzo shell configs.')
def install_scipy(self):
packages = [
'numpy',
'scipy',
'pandas',
'matplotlib',
'sympy',
#'scikit-image', 'scikit-learn',
'visvis',
'pyopengl',
'imageio',
'tornado',
'pyqt', #'ipython', 'jupyter',
#'requests', 'pygments','pytest',
]
exe = py_exe(self._conda_dir)
cmd = [exe, '-m', 'conda', 'install', '--yes'] + packages
return self._run_process(cmd)
def _run_process(self, cmd):
""" Run command in a separate process, catch stdout, show lines
in the output label. On fail, show all output in output text.
"""
p = subprocess.Popen(cmd,
stdout=subprocess.PIPE,
stderr=subprocess.STDOUT,
shell=sys.platform.startswith('win'))
catcher = StreamCatcher(p.stdout, self.lineFromStdOut)
while p.poll() is None:
time.sleep(0.01)
QtGui.qApp.processEvents()
catcher.join()
if p.poll():
self.addOutput(catcher.output())
return p.poll()
def verify(self):
self._progress.setValue(1)
if not os.path.isdir(self._conda_dir):
return 'Conda dir not created.'
self._progress.setValue(11)
exe = py_exe(self._conda_dir)
if not os.path.isfile(exe):
return 'Conda dir does not have Python exe'
self._progress.setValue(21)
try:
ver = subprocess.check_output(
[exe, '-c', 'import sys; print(sys.version)'])
except Exception as err:
return 'Error getting Python version: ' + str(err)
self._progress.setValue(31)
if ver.decode() < '3.4':
return 'Expected Python version 3.4 or higher'
self._progress.setValue(41)
try:
ver = subprocess.check_output(
[exe, '-c', 'import conda; print(conda.__version__)'])
except Exception as err:
return 'Error calling Python exe: ' + str(err)
self._progress.setValue(51)
if ver.decode() < '3.16':
return 'Expected Conda version 3.16 or higher'
# Smooth toward 100%
for i in range(self._progress.value(), 100, 5):
time.sleep(0.05)
self._progress.setValue(i)
QtGui.qApp.processEvents()
class ToolManager(QtCore.QObject):
""" Manages the tools. """
# This signal indicates a change in the loaded tools
toolInstanceChange = QtCore.Signal()
def __init__(self, parent = None):
QtCore.QObject.__init__(self, parent)
# list of ToolDescription instances
self._toolInfo = None
self._activeTools = {}
def loadToolInfo(self):
""" (re)load the tool information.
"""
# Get paths to load files from
toolDir1 = os.path.join(pyzo.pyzoDir, 'tools')
toolDir2 = os.path.join(pyzo.appDataDir, 'tools')
# Create list of tool files
toolfiles = []
for toolDir in [toolDir1, toolDir2]:
tmp = [os.path.join(toolDir, f) for f in os.listdir(toolDir)]
toolfiles.extend(tmp)
# Note: we do not use the code below anymore, since even the frozen
# app makes use of the .py files.
# # Get list of files, also when we're in a zip file.
# i = tooldir.find('.zip')
# if i>0:
# # Get list of files from zipfile
# tooldir = tooldir[:i+4]
# import zipfile
# z = zipfile.ZipFile(tooldir)
# toolfiles = [os.path.split(i)[1] for i in z.namelist()
# if i.startswith('visvis') and i.count('functions')]
# else:
# # Get list of files from file system
# toolfiles = os.listdir(tooldir)
# Iterate over tool modules
newlist = []
for file in toolfiles:
modulePath = file
# Check
if os.path.isdir(file):
file = os.path.join(file, '__init__.py') # A package perhaps
if not os.path.isfile(file):
continue
elif file.endswith('__.py') or not file.endswith('.py'):
continue
elif file.endswith('pyzoFileBrowser.py'):
# Skip old file browser (the file can be there from a previous install)
continue
#
toolName = ""
toolSummary = ""
# read file to find name or summary
linecount = 0
for line in open(file, encoding='utf-8'):
linecount += 1
if linecount > 50:
break
if line.startswith("tool_name"):
i = line.find("=")
if i<0: continue
line = line.rstrip("\n").rstrip("\r")
line = line[i+1:].strip(" ")
toolName = line.strip("'").strip('"')
elif line.startswith("tool_summary"):
i = line.find("=")
if i<0: continue
line = line.rstrip("\n").rstrip("\r")
line = line[i+1:].strip(" ")
toolSummary = line.strip("'").strip('"')
else:
pass
# Add stuff
tmp = ToolDescription(modulePath, toolName, toolSummary)
newlist.append(tmp)
# Store and return
self._toolInfo = sorted( newlist, key=lambda x:x.id )
self.updateToolInstances()
return self._toolInfo
def updateToolInstances(self):
""" Make tool instances up to date, so that it can be seen what
tools are now active. """
for toolDes in self.getToolInfo():
if toolDes.id in self._activeTools:
toolDes.instance = self._activeTools[toolDes.id]
else:
toolDes.instance = None
# Emit update signal
self.toolInstanceChange.emit()
def getToolInfo(self):
""" Like loadToolInfo(), but use buffered instance if available.
"""
if self._toolInfo is None:
self.loadToolInfo()
return self._toolInfo
def getToolClass(self, toolId):
""" Get the class of the tool.
It will import (and reload) the module and get the class.
Some checks are performed, like whether the class inherits
from QWidget.
Returns the class or None if failed...
"""
# Make sure we have the info
if self._toolInfo is None:
self.loadToolInfo()
# Get module name and path
for toolDes in self._toolInfo:
if toolDes.id == toolId:
moduleName = toolDes.moduleName
modulePath = toolDes.modulePath
break
else:
print("WARNING: could not find module for tool", repr(toolId))
return None
# Remove from sys.modules, to force the module to reload
for key in [key for key in sys.modules]:
if key and key.startswith('pyzo.tools.'+moduleName):
del sys.modules[key]
# Load module
try:
m_file, m_fname, m_des = imp.find_module(moduleName, [os.path.dirname(modulePath)])
mod = imp.load_module('pyzo.tools.'+moduleName, m_file, m_fname, m_des)
except Exception as why:
print("Invalid tool " + toolId +":", why)
return None
# Is the expected class present?
className = ""
for member in dir(mod):
if member.lower() == toolId:
className = member
break
else:
print("Invalid tool, Classname must match module name '%s'!" % toolId)
return None
# Does it inherit from QWidget?
plug = mod.__dict__[className]
if not (isinstance(plug,type) and issubclass(plug,QtGui.QWidget)):
print("Invalid tool, tool class must inherit from QWidget!")
return None
# Succes!
return plug
def loadTool(self, toolId, splitWith=None):
""" Load a tool by creating a dock widget containing the tool widget.
"""
# A tool id should always be lower case
toolId = toolId.lower()
# Close old one
if toolId in self._activeTools:
old = self._activeTools[toolId].widget()
self._activeTools[toolId].setWidget(QtGui.QWidget(pyzo.main))
if old:
old.close()
old.deleteLater()
# Get tool class (returns None on failure)
toolClass = self.getToolClass(toolId)
if toolClass is None:
return
# Already loaded? reload!
if toolId in self._activeTools:
self._activeTools[toolId].reload(toolClass)
return
# Obtain name from buffered list of names
for toolDes in self._toolInfo:
if toolDes.id == toolId:
name = toolDes.name
break
else:
name = toolId
# Make sure there is a config entry for this tool
if not hasattr(pyzo.config.tools, toolId):
pyzo.config.tools[toolId] = ssdf.new()
# Create dock widget and add in the main window
dock = ToolDockWidget(pyzo.main, self)
dock.setTool(toolId, name, toolClass)
if splitWith and splitWith in self._activeTools:
otherDock = self._activeTools[splitWith]
pyzo.main.splitDockWidget(otherDock, dock, QtCore.Qt.Horizontal)
else:
pyzo.main.addDockWidget(QtCore.Qt.RightDockWidgetArea, dock)
# Add to list
self._activeTools[toolId] = dock
self.updateToolInstances()
def reloadTools(self):
""" Reload all tools. """
for id in self.getLoadedTools():
self.loadTool(id)
def closeTool(self, toolId):
""" Close the tool with specified id.
"""
if toolId in self._activeTools:
dock = self._activeTools[toolId]
dock.close()
def getTool(self, toolId):
""" Get the tool widget instance, or None
if not available. """
if toolId in self._activeTools:
return self._activeTools[toolId].widget()
else:
return None
def onToolClose(self, toolId):
# Remove from dict
self._activeTools.pop(toolId, None)
# Set instance to None
self.updateToolInstances()
def getLoadedTools(self):
""" Get a list with id's of loaded tools. """
tmp = []
for toolDes in self.getToolInfo():
if toolDes.id in self._activeTools:
tmp.append(toolDes.id)
return tmp
class ShellStackWidget(QtGui.QWidget):
""" The shell stack widget provides a stack of shells.
It wrapps a QStackedWidget that contains the shell objects. This
stack is used as a reference to synchronize the shell selection with.
We keep track of what is the current selected shell and apply updates
if necessary. Therefore, changing the current shell in the stack
should be enough to invoke a full update.
"""
# When the current shell changes.
currentShellChanged = QtCore.Signal()
# When the current shells state (or debug state) changes,
# or when a new prompt is received.
# Also fired when the current shell changes.
currentShellStateChanged = QtCore.Signal()
def __init__(self, parent):
QtGui.QWidget.__init__(self, parent)
# create toolbar
self._toolbar = QtGui.QToolBar(self)
self._toolbar.setMaximumHeight(25)
self._toolbar.setIconSize(QtCore.QSize(16, 16))
# create stack
self._stack = QtGui.QStackedWidget(self)
# Populate toolbar
self._shellButton = ShellControl(self._toolbar, self._stack)
self._debugmode = 0
self._dbs = DebugStack(self._toolbar)
#
self._toolbar.addWidget(self._shellButton)
self._toolbar.addSeparator()
# self._toolbar.addWidget(self._dbc) -> delayed, see addContextMenu()
self._condahelp = CondaHelper(self)
# widget layout
layout = QtGui.QVBoxLayout()
layout.setSpacing(0)
layout.setContentsMargins(0, 0, 0, 0)
layout.addWidget(self._toolbar)
layout.addWidget(self._stack, 0)
layout.addWidget(self._condahelp, 0)
self.setLayout(layout)
# make callbacks
self._stack.currentChanged.connect(self.onCurrentChanged)
# Make shared history (shared among shells)
if PythonHistory is None:
self.sharedHistory = None
else:
self.sharedHistory = PythonHistory('shellhistory.py')
self.showCondaHelper()
def __iter__(self):
i = 0
while i < self._stack.count():
w = self._stack.widget(i)
i += 1
yield w
def showCondaHelper(self, show=True):
self._condahelp.setVisible(show)
self._toolbar.setVisible(not show)
self._stack.setVisible(not show)
if show:
self._condahelp.detect()
def addShell(self, shellInfo=None):
""" addShell()
Add a shell to the widget. """
# Create shell and add to stack
shell = PythonShell(self, shellInfo, self.sharedHistory)
index = self._stack.addWidget(shell)
# Bind to signals
shell.stateChanged.connect(self.onShellStateChange)
shell.debugStateChanged.connect(self.onShellDebugStateChange)
# Select it and focus on it (invokes onCurrentChanged)
self._stack.setCurrentWidget(shell)
shell.setFocus()
return shell
def removeShell(self, shell):
""" removeShell()
Remove an existing shell from the widget
"""
self._stack.removeWidget(shell)
def onCurrentChanged(self, index):
""" When another shell is selected, update some things.
"""
# Get current
shell = self.getCurrentShell()
# Call functions
self.onShellStateChange(shell)
self.onShellDebugStateChange(shell)
# Emit Signal
self.currentShellChanged.emit()
def onShellStateChange(self, shell):
""" Called when the shell state changes, and is called
by onCurrentChanged. Sets the mainwindow's icon if busy.
"""
# Keep shell button and its menu up-to-date
self._shellButton.updateShellMenu(shell)
if shell is self.getCurrentShell(): # can be None
# Update application icon
if shell and shell._state in ['Busy']:
pyzo.main.setWindowIcon(pyzo.iconRunning)
else:
pyzo.main.setWindowIcon(pyzo.icon)
# Send signal
self.currentShellStateChanged.emit()
def onShellDebugStateChange(self, shell):
""" Called when the shell debug state changes, and is called
by onCurrentChanged. Sets the debug button.
"""
if shell is self.getCurrentShell():
# Update debug info
if shell and shell._debugState:
info = shell._debugState
self._debugmode = info['debugmode']
for action in self._debugActions:
action.setEnabled(self._debugmode == 2)
self._debugActions[-1].setEnabled(self._debugmode > 0) # Stop
self._dbs.setTrace(shell._debugState)
else:
for action in self._debugActions:
action.setEnabled(False)
self._debugmode = 0
self._dbs.setTrace(None)
# Send signal
self.currentShellStateChanged.emit()
def getCurrentShell(self):
""" getCurrentShell()
Get the currently active shell.
"""
w = None
if self._stack.count():
w = self._stack.currentWidget()
if not w:
return None
else:
return w
def getShells(self):
""" Get all shell in stack as list """
shells = []
for i in range(self._stack.count()):
shell = self.getShellAt(i)
if shell is not None:
shells.append(shell)
return shells
def getShellAt(self, i):
return
""" Get shell at current tab index """
return self._stack.widget(i)
def addContextMenu(self):
# A bit awkward... but the ShellMenu needs the ShellStack, so it
# can only be initialized *after* the shellstack is created ...
# Give shell tool button a menu
self._shellButton.setMenu(ShellButtonMenu(self, 'Shell button menu'))
self._shellButton.menu().aboutToShow.connect(
self._shellButton._elapsedTimesTimer.start)
# Also give it a context menu
self._shellButton.setContextMenuPolicy(QtCore.Qt.CustomContextMenu)
self._shellButton.customContextMenuRequested.connect(
self.contextMenuTriggered)
# Add actions
for action in pyzo.main.menuBar()._menumap['shell']._shellActions:
action = self._toolbar.addAction(action)
self._toolbar.addSeparator()
# Add debug actions
self._debugActions = []
for action in pyzo.main.menuBar()._menumap['shell']._shellDebugActions:
self._debugActions.append(action)
action = self._toolbar.addAction(action)
# Delayed-add debug control buttons
self._toolbar.addWidget(self._dbs)
def contextMenuTriggered(self, p):
""" Called when context menu is clicked """
# Get index of shell belonging to the tab
shell = self.getCurrentShell()
if shell:
p = self._shellButton.mapToGlobal(
self._shellButton.rect().bottomLeft())
ShellTabContextMenu(shell=shell, parent=self).popup(p)
def onShellAction(self, action):
shell = self.getCurrentShell()
if shell:
getattr(shell, action)()
class PyzoEditor(BaseTextCtrl):
# called when dirty changed or filename changed, etc
somethingChanged = QtCore.Signal()
def __init__(self, parent, **kwds):
super().__init__(parent, showLineNumbers=True, **kwds)
# Init filename and name
self._filename = ''
self._name = '<TMP>'
# View settings
self.setShowWhitespace(pyzo.config.view.showWhitespace)
#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)))
## Properties
@property
def name(self):
return self._name
@property
def filename(self):
return self._filename
@property
def lineEndings(self):
"""
Line-endings style of this file. Setter accepts machine-readable (e.g. '\r') and human-readable (e.g. 'CR') input
"""
return self._lineEndings
@lineEndings.setter
def lineEndings(self, value):
if value in ('\r', '\n', '\r\n'):
self._lineEndings = value
return
try:
self._lineEndings = {'CR': '\r', 'LF': '\n', 'CRLF': '\r\n'}[value]
except KeyError:
raise ValueError('Invalid line endings style %r' % value)
@property
def lineEndingsHumanReadable(self):
"""
Current line-endings style, human readable (e.g. 'CR')
"""
return {'\r': 'CR', '\n': 'LF', '\r\n': 'CRLF'}[self.lineEndings]
@property
def encoding(self):
""" Encoding used to convert the text of this file to bytes.
"""
return self._encoding
@encoding.setter
def encoding(self, value):
# Test given value, correct name if it exists
try:
c = codecs.lookup(value)
value = c.name
except Exception:
value = codecs.lookup('UTF-8').name
# Store
self._encoding = value
##
def justifyText(self):
""" Overloaded version of justifyText to make it use our
configurable justificationwidth.
"""
super().justifyText(pyzo.config.settings.justificationWidth)
def showRunCursor(self, cursor):
"""
Momentarily highlight a piece of code to show that this is being executed
"""
extraSelection = QtGui.QTextEdit.ExtraSelection()
extraSelection.cursor = cursor
extraSelection.format.setBackground(QtCore.Qt.gray)
self.setExtraSelections([extraSelection])
self._showRunCursorTimer.singleShot(
200, lambda: self.setExtraSelections([]))
def id(self):
""" Get an id of this editor. This is the filename,
or for tmp files, the name. """
if self._filename:
return self._filename
else:
return self._name
def focusInEvent(self, event):
""" Test whether the file has been changed 'behind our back'
"""
# Act normally to the focus event
BaseTextCtrl.focusInEvent(self, event)
# Test file change
self.testWhetherFileWasChanged()
def testWhetherFileWasChanged(self):
""" testWhetherFileWasChanged()
Test to see whether the file was changed outside our backs,
and let the user decide what to do.
Returns True if it was changed.
"""
# get the path
path = self._filename
if not os.path.isfile(path):
# file is deleted from the outside
return
# test the modification time...
mtime = os.path.getmtime(path)
if mtime != self._modifyTime:
# ask user
dlg = QtGui.QMessageBox(self)
dlg.setWindowTitle('File was changed')
dlg.setText("File has been modified outside of the editor:\n" +
self._filename)
dlg.setInformativeText("Do you want to reload?")
t = dlg.addButton("Reload", QtGui.QMessageBox.AcceptRole) #0
dlg.addButton("Keep this version",
QtGui.QMessageBox.RejectRole) #1
dlg.setDefaultButton(t)
# whatever the result, we will reset the modified time
self._modifyTime = os.path.getmtime(path)
# get result and act
result = dlg.exec_()
if result == QtGui.QMessageBox.AcceptRole:
self.reload()
else:
pass # when cancelled or explicitly said, do nothing
# Return that indeed the file was changes
return True
def _onModificationChanged(self, changed):
"""Handler for the modificationChanged signal. Emit somethingChanged
for the editorStack to update the modification notice."""
self.somethingChanged.emit()
def _onModified(self):
pyzo.parser.parseThis(self)
def dragMoveEvent(self, event):
""" Otherwise cursor can get stuck.
https://bitbucket.org/iep-project/iep/issue/252
https://qt-project.org/forums/viewthread/3180
"""
if event.mimeData().hasUrls():
event.acceptProposedAction()
else:
BaseTextCtrl.dropEvent(self, event)
def dropEvent(self, event):
""" Drop files in the list. """
if event.mimeData().hasUrls():
# file: let the editorstack do the work.
pyzo.editors.dropEvent(event)
else:
# text: act normal
BaseTextCtrl.dropEvent(self, event)
def showEvent(self, event=None):
""" Capture show event to change title. """
# Act normally
if event:
BaseTextCtrl.showEvent(self, event)
# Make parser update
pyzo.parser.parseThis(self)
def setTitleInMainWindow(self):
""" set the title text in the main window to show filename. """
# compose title
name, path = self._name, self._filename
if path:
pyzo.main.setMainTitle(path)
else:
pyzo.main.setMainTitle(name)
def save(self, filename=None):
""" Save the file. No checking is done. """
# get filename
if filename is None:
filename = self._filename
if not filename:
raise ValueError("No filename specified, and no filename known.")
# Test whether it was changed without us knowing. If so, dont save now.
if self.testWhetherFileWasChanged():
return
# Get text and remember where we are
text = self.toPlainText()
cursor = self.textCursor()
linenr = cursor.blockNumber() + 1
index = cursor.positionInBlock()
scroll = self.verticalScrollBar().value()
# Convert line endings (optionally remove trailing whitespace
if pyzo.config.settings.removeTrailingWhitespaceWhenSaving:
lines = [line.rstrip() for line in text.split('\n')]
if lines[-1]:
lines.append('') # Ensure the file ends in an empty line
text = self.lineEndings.join(lines)
self.setPlainText(text)
# Go back to where we were
cursor = self.textCursor()
cursor.movePosition(cursor.Start) # move to begin of the document
cursor.movePosition(cursor.NextBlock,
n=linenr - 1) # n blocks down
index = min(index, cursor.block().length() - 1)
cursor.movePosition(cursor.Right, n=index) # n chars right
self.setTextCursor(cursor)
self.verticalScrollBar().setValue(scroll)
else:
text = text.replace('\n', self.lineEndings)
# Make bytes
bb = text.encode(self.encoding)
# Store
f = open(filename, 'wb')
try:
f.write(bb)
finally:
f.close()
# Update stats
self._filename = normalizePath(filename)
self._name = os.path.split(self._filename)[1]
self.document().setModified(False)
self._modifyTime = os.path.getmtime(self._filename)
# update title (in case of a rename)
self.setTitleInMainWindow()
# allow item to update its texts (no need: onModifiedChanged does this)
#self.somethingChanged.emit()
def reload(self):
""" Reload text using the self._filename.
We do not have a load method; we first try to load the file
and only when we succeed create an editor to show it in...
This method is only for reloading in case the file was changed
outside of the editor. """
# We can only load if the filename is known
if not self._filename:
return
filename = self._filename
# Remember where we are
cursor = self.textCursor()
linenr = cursor.blockNumber() + 1
index = cursor.positionInBlock()
# Load file (as bytes)
with open(filename, 'rb') as f:
bb = f.read()
# Convert to text
text = bb.decode('UTF-8')
# Process line endings (before setting the text)
self.lineEndings = determineLineEnding(text)
# Set text
self.setPlainText(text)
self.document().setModified(False)
# Go where we were (approximately)
self.gotoLine(linenr)
def deleteLines(self):
cursor = self.textCursor()
# Find start and end of selection
start = cursor.selectionStart()
end = cursor.selectionEnd()
# Expand selection: from start of first block to start of next block
cursor.setPosition(start)
cursor.movePosition(cursor.StartOfBlock)
cursor.setPosition(end, cursor.KeepAnchor)
cursor.movePosition(cursor.NextBlock, cursor.KeepAnchor)
cursor.removeSelectedText()
def commentCode(self):
"""
Comment the lines that are currently selected
"""
indents = []
def getIndent(cursor):
text = cursor.block().text().rstrip()
if text:
indents.append(len(text) - len(text.lstrip()))
def commentBlock(cursor):
cursor.setPosition(cursor.block().position() + minindent)
cursor.insertText('# ')
self.doForSelectedBlocks(getIndent)
minindent = min(indents) if indents else 0
self.doForSelectedBlocks(commentBlock)
def uncommentCode(self):
"""
Uncomment the lines that are currently selected
"""
#TODO: this should not be applied to lines that are part of a multi-line string
#Define the uncomment function to be applied to all blocks
def uncommentBlock(cursor):
"""
Find the first # on the line; if there is just whitespace before it,
remove the # and if it is followed by a space remove the space, too
"""
text = cursor.block().text()
commentStart = text.find('#')
if commentStart == -1:
return #No comment on this line
if text[:commentStart].strip() != '':
return #Text before the #
#Move the cursor to the beginning of the comment
cursor.setPosition(cursor.block().position() + commentStart)
cursor.deleteChar()
if text[commentStart:].startswith('# '):
cursor.deleteChar()
#Apply this function to all blocks
self.doForSelectedBlocks(uncommentBlock)
def gotoDef(self):
"""
Goto the definition for the word under the cursor
"""
# Get name of object to go to
cursor = self.textCursor()
if not cursor.hasSelection():
cursor.select(cursor.WordUnderCursor)
word = cursor.selection().toPlainText()
# Send the open command to the shell
s = pyzo.shells.getCurrentShell()
if s is not None:
if word and word.isidentifier():
s.executeCommand('open %s\n' % word)
else:
s.write('Invalid identifier %r\n' % word)
## Introspection processing methods
def processCallTip(self, cto):
""" Processes a calltip request using a CallTipObject instance.
"""
# Try using buffer first
if cto.tryUsingBuffer():
return
# Try obtaining calltip from the source
sig = pyzo.parser.getFictiveSignature(cto.name, self, True)
if sig:
# Done
cto.finish(sig)
else:
# Try the shell
shell = pyzo.shells.getCurrentShell()
if shell:
shell.processCallTip(cto)
def processAutoComp(self, aco):
""" Processes an autocomp request using an AutoCompObject instance.
"""
# Try using buffer first
if aco.tryUsingBuffer():
return
# Init name to poll by remote process (can be changed!)
nameForShell = aco.name
# Get normal fictive namespace
fictiveNS = pyzo.parser.getFictiveNameSpace(self)
fictiveNS = set(fictiveNS)
# Add names
if not aco.name:
# "root" names
aco.addNames(fictiveNS)
# imports
importNames, importLines = pyzo.parser.getFictiveImports(self)
aco.addNames(importNames)
else:
# Prepare list of class names to check out
classNames = [aco.name]
handleSelf = True
# Unroll supers
while classNames:
className = classNames.pop(0)
if not className:
continue
if handleSelf or (className in fictiveNS):
# Only the self list (only first iter)
fictiveClass = pyzo.parser.getFictiveClass(
className, self, handleSelf)
handleSelf = False
if fictiveClass:
aco.addNames(fictiveClass.members)
classNames.extend(fictiveClass.supers)
else:
nameForShell = className
break
# If there's a shell, let it finish the autocompletion
shell = pyzo.shells.getCurrentShell()
if shell:
aco.name = nameForShell # might be the same or a base class
shell.processAutoComp(aco)
else:
# Otherwise we finish it ourselves
aco.finish()
class WorkspaceProxy(QtCore.QObject):
""" WorkspaceProxy
A proxy class to handle the asynchonous behaviour of getting information
from the shell. The workspace tool asks for a certain name, and this
class notifies when new data is available using a qt signal.
"""
haveNewData = QtCore.Signal()
def __init__(self):
QtCore.QObject.__init__(self)
# Variables
self._variables = []
# Element to get more info of
self._name = ''
# Bind to events
pyzo.shells.currentShellChanged.connect(self.onCurrentShellChanged)
pyzo.shells.currentShellStateChanged.connect(
self.onCurrentShellStateChanged)
# Initialize
self.onCurrentShellStateChanged()
def addNamePart(self, part):
""" addNamePart(part)
Add a part to the name.
"""
parts = splitName(self._name)
parts.append(part)
self.setName(joinName(parts))
def setName(self, name):
""" setName(name)
Set the name that we want to know more of.
"""
self._name = name
shell = pyzo.shells.getCurrentShell()
if shell:
future = shell._request.dir2(self._name)
future.add_done_callback(self.processResponse)
def goUp(self):
""" goUp()
Cut the last part off the name.
"""
parts = splitName(self._name)
if parts:
parts.pop()
self.setName(joinName(parts))
def onCurrentShellChanged(self):
""" onCurrentShellChanged()
When no shell is selected now, update this. In all other cases,
the onCurrentShellStateChange will be fired too.
"""
shell = pyzo.shells.getCurrentShell()
if not shell:
self._variables = []
self.haveNewData.emit()
def onCurrentShellStateChanged(self):
""" onCurrentShellStateChanged()
Do a request for information!
"""
shell = pyzo.shells.getCurrentShell()
if not shell:
# Should never happen I think, but just to be sure
self._variables = []
elif shell._state.lower() != 'busy':
future = shell._request.dir2(self._name)
future.add_done_callback(self.processResponse)
def processResponse(self, future):
""" processResponse(response)
We got a response, update our list and notify the tree.
"""
response = []
# Process future
if future.cancelled():
pass #print('Introspect cancelled') # No living kernel
elif future.exception():
print('Introspect-queryDoc-exception: ', future.exception())
else:
response = future.result()
self._variables = response
self.haveNewData.emit()
class WebView(QtGui.QTextBrowser):
""" Inherit the webview class to implement zooming using
the mouse wheel.
"""
loadStarted = QtCore.Signal()
loadFinished = QtCore.Signal(bool)
def __init__(self, parent):
QtGui.QTextBrowser.__init__(self, parent)
# Current url
self._url = ''
self._history = []
self._history2 = []
# Connect
self.anchorClicked.connect(self.load)
def wheelEvent(self, event):
# Zooming does not work for this widget
if QtCore.Qt.ControlModifier & QtGui.qApp.keyboardModifiers():
self.parent().wheelEvent(event)
else:
QtGui.QTextBrowser.wheelEvent(self, event)
def url(self):
return self._url
def _getUrlParts(self):
r = urllib.parse.urlparse(self._url)
base = r.scheme + '://' + r.netloc
return base, r.path, r.fragment
#
# def loadCss(self, urls=[]):
# urls.append('http://docs.python.org/_static/default.css')
# urls.append('http://docs.python.org/_static/pygments.css')
# text = ''
# for url in urls:
# tmp = urllib.request.urlopen(url).read().decode('utf-8')
# text += '\n' + tmp
# self.document().setDefaultStyleSheet(text)
def back(self):
# Get url and update forward history
url = self._history.pop()
self._history2.append(self._url)
# Go there
url = self._load(url)
def forward(self):
if not self._history2:
return
# Get url and update forward history
url = self._history2.pop()
self._history.append(self._url)
# Go there
url = self._load(url)
def load(self, url):
# Clear forward history
self._history2 = []
# Store current url in history
while self._url in self._history:
self._history.remove(self._url)
self._history.append(self._url)
# Load
url = self._load(url)
def _load(self, url):
""" _load(url)
Convert url and load page, returns new url.
"""
# Make url a string
if isinstance(url, QtCore.QUrl):
url = str(url.toString())
# Compose relative url to absolute
if url.startswith('#'):
base, path, frag = self._getUrlParts()
url = base + path + url
elif not '//' in url:
base, path, frag = self._getUrlParts()
url = base + '/' + url.lstrip('/')
# Try loading
self.loadStarted.emit()
self._url = url
try:
#print('URL:', url)
text = urllib.request.urlopen(url).read().decode('utf-8')
self.setHtml(text)
self.loadFinished.emit(True)
except Exception as err:
self.setHtml(str(err))
self.loadFinished.emit(False)
# Set
return url