def __init__(self, parent):
QtWidgets.QTreeWidget.__init__(self, parent)
self._config = parent._config
# Set header stuff
self.setHeaderHidden(False)
self.setColumnCount(3)
self.setHeaderLabels([
pyzo.translate("pyzoWorkspace", "Name"),
pyzo.translate("pyzoWorkspace", "Type"),
pyzo.translate("pyzoWorkspace", "Repr"),
])
# self.setColumnWidth(0, 100)
self.setSortingEnabled(True)
# Nice rows
self.setAlternatingRowColors(True)
self.setRootIsDecorated(False)
# Create proxy
self._proxy = WorkspaceProxy()
self._proxy.haveNewData.connect(self.fillWorkspace)
# For menu
self.setContextMenuPolicy(QtCore.Qt.DefaultContextMenu)
self._menu = QtWidgets.QMenu()
self._menu.triggered.connect(self.contextMenuTriggered)
# Bind to events
self.itemActivated.connect(self.onItemExpand)
self._startUpVariables = ["In", "Out", "exit", "get_ipython", "quit"]
def createPopupMenu(self):
# Init menu
menu = QtWidgets.QMenu()
# Insert two items
for item in ["Editors", "Shells"]:
action = menu.addAction(item)
action.setCheckable(True)
action.setChecked(True)
action.setEnabled(False)
# Insert tools
for tool in pyzo.toolManager.loadToolInfo():
action = menu.addAction(tool.name)
action.setCheckable(True)
action.setChecked(bool(tool.instance))
action.menuLauncher = tool.menuLauncher
# Show menu and process result
a = menu.popup(QtGui.QCursor.pos())
if a:
a.menuLauncher(not a.menuLauncher(None))
def setTrace(self, info):
"""Set the stack trace. This method is called from
the shell that receives the trace via its status channel
directly from the interpreter.
If trace is None, removes the trace
"""
# Get info
if info:
index, frames, debugmode = info["index"], info["frames"], info[
"debugmode"]
else:
index, frames = -1, []
if (not frames) or (debugmode == 0):
# Remove trace
self.setMenu(None)
self.setText("") # (self._baseText)
self.setEnabled(False)
pyzo.editors.setDebugLineIndicators(None)
else:
# Get the current frame
theAction = None
# Create menu and add __main__
menu = QtWidgets.QMenu(self)
self.setMenu(menu)
# Fill trace
for i in range(len(frames)):
thisIndex = i + 1
# Set text for action
text = '{}: File "{}", line {}, in {}'
text = text.format(thisIndex, *frames[i])
action = menu.addAction(text)
action._index = thisIndex
action._isCurrent = False
if thisIndex == index:
action._isCurrent = True
theAction = action
self.debugFocus(text.split(": ", 1)[1]) # Load editor
# Get debug indicators
debugIndicators = []
for i in range(len(frames)):
thisIndex = i + 1
filename, linenr, func = frames[i]
debugIndicators.append((filename, linenr))
if thisIndex == index:
break
# Set debug indicators
pyzo.editors.setDebugLineIndicators(*debugIndicators)
# Highlight current item and set the button text
if theAction:
menu.setDefaultAction(theAction)
# self.setText(theAction.text().ljust(20))
i = theAction._index
text = "{} ({}/{}): ".format(self._baseText, i, len(frames))
self.setText(text)
self.setEnabled(True)
def __init__(self, parent):
QtWidgets.QWidget.__init__(self, parent)
# Create text field, checkbox, and button
self._text = QtWidgets.QLineEdit(self)
self._printBut = QtWidgets.QPushButton("Print", self)
style = QtWidgets.qApp.style()
self._backBut = QtWidgets.QToolButton(self)
self._backBut.setIcon(style.standardIcon(style.SP_ArrowLeft))
self._backBut.setIconSize(QtCore.QSize(16, 16))
self._backBut.setPopupMode(self._backBut.DelayedPopup)
self._backBut.setMenu(
PyzoInteractiveHelpHistoryMenu("Backward menu", self, False))
self._forwBut = QtWidgets.QToolButton(self)
self._forwBut.setIcon(style.standardIcon(style.SP_ArrowRight))
self._forwBut.setIconSize(QtCore.QSize(16, 16))
self._forwBut.setPopupMode(self._forwBut.DelayedPopup)
self._forwBut.setMenu(
PyzoInteractiveHelpHistoryMenu("Forward menu", self, True))
# Create options button
self._options = QtWidgets.QToolButton(self)
self._options.setIcon(pyzo.icons.wrench)
self._options.setIconSize(QtCore.QSize(16, 16))
self._options.setPopupMode(self._options.InstantPopup)
self._options.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
# Create options menu
self._options._menu = QtWidgets.QMenu()
self._options.setMenu(self._options._menu)
# Create browser
self._browser = QtWidgets.QTextBrowser(self)
self._browser_text = initText
self._browser.setContextMenuPolicy(QtCore.Qt.CustomContextMenu)
self._browser.customContextMenuRequested.connect(self.showMenu)
# Create two sizers
self._sizer1 = QtWidgets.QVBoxLayout(self)
self._sizer2 = QtWidgets.QHBoxLayout()
# Put the elements together
self._sizer2.addWidget(self._backBut, 1)
self._sizer2.addWidget(self._forwBut, 2)
self._sizer2.addWidget(self._text, 4)
self._sizer2.addWidget(self._printBut, 0)
self._sizer2.addWidget(self._options, 3)
#
self._sizer1.addLayout(self._sizer2, 0)
self._sizer1.addWidget(self._browser, 1)
#
self._sizer1.setSpacing(2)
# set margins
margin = pyzo.config.view.widgetMargin
self._sizer1.setContentsMargins(margin, margin, margin, margin)
self.setLayout(self._sizer1)
# Set config
toolId = self.__class__.__name__.lower()
self._config = config = pyzo.config.tools[toolId]
#
if not hasattr(config, "smartNewlines"):
config.smartNewlines = True
if not hasattr(config, "fontSize"):
if sys.platform == "darwin":
config.fontSize = 12
else:
config.fontSize = 10
# Create callbacks
self._text.returnPressed.connect(self.queryDoc)
self._printBut.clicked.connect(self.printDoc)
self._backBut.clicked.connect(self.goBack)
self._forwBut.clicked.connect(self.goForward)
#
self._options.pressed.connect(self.onOptionsPress)
self._options._menu.triggered.connect(self.onOptionMenuTiggered)
# Start
self._history = []
self._histindex = 0
self.setText() # Set default text
self.onOptionsPress() # Fill menu
def __init__(self, parent):
QtWidgets.QWidget.__init__(self, parent)
# Make sure there is a configuration entry for this tool
# The pyzo tool manager makes sure that there is an entry in
# config.tools before the tool is instantiated.
toolId = self.__class__.__name__.lower()
self._config = pyzo.config.tools[toolId]
if not hasattr(self._config, "showTypes"):
self._config.showTypes = ["class", "def", "cell", "todo"]
if not hasattr(self._config, "level"):
self._config.level = 2
# Keep track of clicks so we can "go back"
self._nav = {} # editor-id -> Navigation object
# Create buttons for navigation
self._navbut_back = QtWidgets.QToolButton(self)
self._navbut_back.setIcon(pyzo.icons.arrow_left)
self._navbut_back.setIconSize(QtCore.QSize(16, 16))
self._navbut_back.setStyleSheet(
"QToolButton { border: none; padding: 0px; }")
self._navbut_back.clicked.connect(self.onNavBack)
#
self._navbut_forward = QtWidgets.QToolButton(self)
self._navbut_forward.setIcon(pyzo.icons.arrow_right)
self._navbut_forward.setIconSize(QtCore.QSize(16, 16))
self._navbut_forward.setStyleSheet(
"QToolButton { border: none; padding: 0px; }")
self._navbut_forward.clicked.connect(self.onNavForward)
# # Create icon for slider
# self._sliderIcon = QtWidgets.QToolButton(self)
# self._sliderIcon.setIcon(pyzo.icons.text_align_right)
# self._sliderIcon.setIconSize(QtCore.QSize(16,16))
# self._sliderIcon.setStyleSheet("QToolButton { border: none; padding: 0px; }")
# Create slider
self._slider = QtWidgets.QSlider(QtCore.Qt.Horizontal, self)
self._slider.setTickPosition(QtWidgets.QSlider.TicksBelow)
self._slider.setSingleStep(1)
self._slider.setPageStep(1)
self._slider.setRange(1, 5)
self._slider.setValue(self._config.level)
self._slider.valueChanged.connect(self.updateStructure)
# Create options button
# self._options = QtWidgets.QPushButton(self)
# self._options.setText('Options'))
# self._options.setToolTip("What elements to show.")
self._options = QtWidgets.QToolButton(self)
self._options.setIcon(pyzo.icons.filter)
self._options.setIconSize(QtCore.QSize(16, 16))
self._options.setPopupMode(self._options.InstantPopup)
self._options.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
# Create options menu
self._options._menu = QtWidgets.QMenu()
self._options.setMenu(self._options._menu)
# Create tree widget
self._tree = QtWidgets.QTreeWidget(self)
self._tree.setHeaderHidden(True)
self._tree.itemCollapsed.connect(self.updateStructure) # keep expanded
self._tree.itemClicked.connect(self.onItemClick)
# Create two sizers
self._sizer1 = QtWidgets.QVBoxLayout(self)
self._sizer2 = QtWidgets.QHBoxLayout()
self._sizer1.setSpacing(2)
# set margins
margin = pyzo.config.view.widgetMargin
self._sizer1.setContentsMargins(margin, margin, margin, margin)
# Set layout
self._sizer1.addLayout(self._sizer2, 0)
self._sizer1.addWidget(self._tree, 1)
# self._sizer2.addWidget(self._sliderIcon, 0)
self._sizer2.addWidget(self._navbut_back, 0)
self._sizer2.addWidget(self._navbut_forward, 0)
self._sizer2.addStretch(1)
self._sizer2.addWidget(self._slider, 6)
self._sizer2.addStretch(1)
self._sizer2.addWidget(self._options, 0)
#
self.setLayout(self._sizer1)
# Init current-file name
self._currentEditorId = 0
# Bind to events
pyzo.editors.currentChanged.connect(self.onEditorsCurrentChanged)
pyzo.editors.parserDone.connect(self.updateStructure)
self._options.pressed.connect(self.onOptionsPress)
self._options._menu.triggered.connect(self.onOptionMenuTiggered)
# Start
# When the tool is loaded, the editorStack is already done loading
# all previous files and selected the appropriate file.
self.onOptionsPress() # Create menu now
self.onEditorsCurrentChanged()
def __init__(self, parent):
QtWidgets.QWidget.__init__(self, parent)
# Make sure there is a configuration entry for this tool
# The pyzo tool manager makes sure that there is an entry in
# config.tools before the tool is instantiated.
toolId = self.__class__.__name__.lower()
self._config = pyzo.config.tools[toolId]
if not hasattr(self._config, "hideTypes"):
self._config.hideTypes = []
# <kludge 2>
# configuring the typeTranslation dictionary
if not hasattr(self._config, "typeTranslation"):
# to prevent the exception to be raised, one could init to :
# {"method": "function", "function": "function", "type": "type", "private": "private", "module": "module"}
self._config.typeTranslation = {}
# Defaults
self._config.typeTranslation["method"] = "function"
self._config.typeTranslation["builtin_function_or_method"] = "function"
# <kludge 2>
# Create tool button
self._up = QtWidgets.QToolButton(self)
style = QtWidgets.qApp.style()
self._up.setIcon(style.standardIcon(style.SP_ArrowLeft))
self._up.setIconSize(QtCore.QSize(16, 16))
# Create "path" line edit
self._line = QtWidgets.QLineEdit(self)
self._line.setReadOnly(True)
self._line.setStyleSheet("QLineEdit { background:#ddd; }")
self._line.setFocusPolicy(QtCore.Qt.NoFocus)
# Create options menu
self._options = QtWidgets.QToolButton(self)
self._options.setIcon(pyzo.icons.filter)
self._options.setIconSize(QtCore.QSize(16, 16))
self._options.setPopupMode(self._options.InstantPopup)
self._options.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
#
self._options._menu = QtWidgets.QMenu()
self._options.setMenu(self._options._menu)
self.onOptionsPress() # create menu now
# Create tree
self._tree = WorkspaceTree(self)
# Create message for when tree is empty
self._initText = QtWidgets.QLabel(
pyzo.translate(
"pyzoWorkspace",
"""Lists the variables in the current shell's namespace.
Currently, there are none. Some of them may be hidden because of the filters you configured.""",
),
self,
)
self._initText.setVisible(False)
self._initText.setWordWrap(True)
# Set layout
layout = QtWidgets.QHBoxLayout()
layout.addWidget(self._up, 0)
layout.addWidget(self._line, 1)
layout.addWidget(self._options, 0)
#
mainLayout = QtWidgets.QVBoxLayout(self)
mainLayout.addLayout(layout, 0)
mainLayout.addWidget(self._initText, 1)
mainLayout.addWidget(self._tree, 2)
mainLayout.setSpacing(2)
# set margins
margin = pyzo.config.view.widgetMargin
mainLayout.setContentsMargins(margin, margin, margin, margin)
self.setLayout(mainLayout)
# Bind events
self._up.pressed.connect(self._tree._proxy.goUp)
self._options.pressed.connect(self.onOptionsPress)
self._options._menu.triggered.connect(self.onOptionMenuTiggered)