def __init__(self, parent):
QtGui.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 = []
# Create tool button
self._up = QtGui.QToolButton(self)
style = QtGui.qApp.style()
self._up.setIcon( style.standardIcon(style.SP_ArrowLeft) )
self._up.setIconSize(QtCore.QSize(16,16))
# Create "path" line edit
self._line = QtGui.QLineEdit(self)
self._line.setReadOnly(True)
self._line.setStyleSheet("QLineEdit { background:#ddd; }")
self._line.setFocusPolicy(QtCore.Qt.NoFocus)
# Create options menu
self._options = QtGui.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 = QtGui.QMenu()
self._options.setMenu(self._options._menu)
self.onOptionsPress() # create menu now
# Create tree
self._tree = WorkspaceTree(self)
# Set layout
layout = QtGui.QHBoxLayout()
layout.addWidget(self._up, 0)
layout.addWidget(self._line, 1)
layout.addWidget(self._options, 0)
#
mainLayout = QtGui.QVBoxLayout(self)
mainLayout.addLayout(layout, 0)
mainLayout.addWidget(self._tree, 1)
mainLayout.setSpacing(2)
mainLayout.setContentsMargins(4,4,4,4)
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)
def __init__(self, parent):
QtGui.QWidget.__init__(self, parent)
# Create text field, checkbox, and button
self._text = QtGui.QLineEdit(self)
self._printBut = QtGui.QPushButton("Print", self)
# Create options button
self._options = QtGui.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 = QtGui.QMenu()
self._options.setMenu(self._options._menu)
# Create browser
self._browser = QtGui.QTextBrowser(self)
self._browser_text = initText
# Create two sizers
self._sizer1 = QtGui.QVBoxLayout(self)
self._sizer2 = QtGui.QHBoxLayout()
# Put the elements together
self._sizer2.addWidget(self._text, 4)
self._sizer2.addWidget(self._printBut, 0)
self._sizer2.addWidget(self._options, 2)
#
self._sizer1.addLayout(self._sizer2, 0)
self._sizer1.addWidget(self._browser, 1)
#
self._sizer1.setSpacing(2)
self._sizer1.setContentsMargins(4, 4, 4, 4)
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._options.pressed.connect(self.onOptionsPress)
self._options._menu.triggered.connect(self.onOptionMenuTiggered)
# Start
self.setText() # Set default text
self.onOptionsPress() # Fill menu
def __init__(self, *args):
QtGui.QFrame.__init__(self, *args)
self.setFocusPolicy(QtCore.Qt.ClickFocus)
# init layout
layout = QtGui.QHBoxLayout(self)
layout.setSpacing(0)
self.setLayout(layout)
# Create some widgets first to realize a correct tab order
self._hidebut = QtGui.QToolButton(self)
self._findText = QtGui.QLineEdit(self)
self._replaceText = QtGui.QLineEdit(self)
if True:
# Create sub layouts
vsubLayout = QtGui.QVBoxLayout()
vsubLayout.setSpacing(0)
layout.addLayout(vsubLayout, 0)
# Add button
self._hidebut.setFont(QtGui.QFont('helvetica', 7))
self._hidebut.setToolTip(
translate('search', 'Hide search widget (Escape)'))
self._hidebut.setIcon(pyzo.icons.cancel)
self._hidebut.setIconSize(QtCore.QSize(16, 16))
vsubLayout.addWidget(self._hidebut, 0)
vsubLayout.addStretch(1)
layout.addSpacing(10)
if True:
# Create sub layouts
vsubLayout = QtGui.QVBoxLayout()
hsubLayout = QtGui.QHBoxLayout()
vsubLayout.setSpacing(0)
hsubLayout.setSpacing(0)
layout.addLayout(vsubLayout, 0)
# Add find text
self._findText.setToolTip(translate('search', 'Find pattern'))
vsubLayout.addWidget(self._findText, 0)
vsubLayout.addLayout(hsubLayout)
# Add previous button
self._findPrev = QtGui.QToolButton(self)
t = translate(
'search',
'Previous ::: Find previous occurrence of the pattern.')
self._findPrev.setText(t)
self._findPrev.setToolTip(t.tt)
hsubLayout.addWidget(self._findPrev, 0)
hsubLayout.addStretch(1)
# Add next button
self._findNext = QtGui.QToolButton(self)
t = translate('search',
'Next ::: Find next occurrence of the pattern.')
self._findNext.setText(t)
self._findNext.setToolTip(t.tt)
#self._findNext.setDefault(True) # Not possible with tool buttons
hsubLayout.addWidget(self._findNext, 0)
layout.addSpacing(10)
if True:
# Create sub layouts
vsubLayout = QtGui.QVBoxLayout()
hsubLayout = QtGui.QHBoxLayout()
vsubLayout.setSpacing(0)
hsubLayout.setSpacing(0)
layout.addLayout(vsubLayout, 0)
# Add replace text
self._replaceText.setToolTip(translate('search',
'Replace pattern'))
vsubLayout.addWidget(self._replaceText, 0)
vsubLayout.addLayout(hsubLayout)
# Add replace-all button
self._replaceAll = QtGui.QToolButton(self)
t = translate(
'search',
'Repl. all ::: Replace all matches in current document.')
self._replaceAll.setText(t)
self._replaceAll.setToolTip(t.tt)
hsubLayout.addWidget(self._replaceAll, 0)
hsubLayout.addStretch(1)
# Add replace button
self._replace = QtGui.QToolButton(self)
t = translate('search', 'Replace ::: Replace this match.')
self._replace.setText(t)
self._replace.setToolTip(t.tt)
hsubLayout.addWidget(self._replace, 0)
layout.addSpacing(10)
if True:
# Create sub layouts
vsubLayout = QtGui.QVBoxLayout()
vsubLayout.setSpacing(0)
layout.addLayout(vsubLayout, 0)
# Add match-case checkbox
t = translate('search',
'Match case ::: Find words that match case.')
self._caseCheck = QtGui.QCheckBox(t, self)
self._caseCheck.setToolTip(t.tt)
vsubLayout.addWidget(self._caseCheck, 0)
# Add regexp checkbox
t = translate('search',
'RegExp ::: Find using regular expressions.')
self._regExp = QtGui.QCheckBox(t, self)
self._regExp.setToolTip(t.tt)
vsubLayout.addWidget(self._regExp, 0)
if True:
# Create sub layouts
vsubLayout = QtGui.QVBoxLayout()
vsubLayout.setSpacing(0)
layout.addLayout(vsubLayout, 0)
# Add whole-word checkbox
t = translate('search', 'Whole words ::: Find only whole words.')
self._wholeWord = QtGui.QCheckBox(t, self)
self._wholeWord.setToolTip(t.tt)
self._wholeWord.resize(60, 16)
vsubLayout.addWidget(self._wholeWord, 0)
# Add autohide dropbox
t = translate(
'search',
'Auto hide ::: Hide search/replace when unused for 10 s.')
self._autoHide = QtGui.QCheckBox(t, self)
self._autoHide.setToolTip(t.tt)
self._autoHide.resize(60, 16)
vsubLayout.addWidget(self._autoHide, 0)
layout.addStretch(1)
# Set placeholder texts
for lineEdit in [self._findText, self._replaceText]:
if hasattr(lineEdit, 'setPlaceholderText'):
lineEdit.setPlaceholderText(lineEdit.toolTip())
lineEdit.textChanged.connect(self.autoHideTimerReset)
# Set focus policy
for but in [
self._findPrev, self._findNext, self._replaceAll,
self._replace, self._caseCheck, self._wholeWord, self._regExp
]:
#but.setFocusPolicy(QtCore.Qt.ClickFocus)
but.clicked.connect(self.autoHideTimerReset)
# create timer objects
self._timerBeginEnd = QtCore.QTimer(self)
self._timerBeginEnd.setSingleShot(True)
self._timerBeginEnd.timeout.connect(self.resetAppearance)
#
self._timerAutoHide = QtCore.QTimer(self)
self._timerAutoHide.setSingleShot(False)
self._timerAutoHide.setInterval(500) # ms
self._timerAutoHide.timeout.connect(self.autoHideTimerCallback)
self._timerAutoHide_t0 = time.time()
self._timerAutoHide.start()
# create callbacks
self._findText.returnPressed.connect(self.findNext)
self._hidebut.clicked.connect(self.hideMe)
self._findNext.clicked.connect(self.findNext)
self._findPrev.clicked.connect(self.findPrevious)
self._replace.clicked.connect(self.replaceOne)
self._replaceAll.clicked.connect(self.replaceAll)
#
self._regExp.stateChanged.connect(self.handleReplacePossible)
# init case and regexp
self._caseCheck.setChecked(bool(pyzo.config.state.find_matchCase))
self._regExp.setChecked(bool(pyzo.config.state.find_regExp))
self._wholeWord.setChecked(bool(pyzo.config.state.find_wholeWord))
self._autoHide.setChecked(bool(pyzo.config.state.find_autoHide))
# show or hide?
if bool(pyzo.config.state.find_show):
self.show()
else:
self.hide()
def __init__(self, parent):
QtGui.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
# Create icon for slider
self._sliderIcon = QtGui.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 = QtGui.QSlider(QtCore.Qt.Horizontal, self)
self._slider.setTickPosition(QtGui.QSlider.TicksBelow)
self._slider.setSingleStep(1)
self._slider.setPageStep(1)
self._slider.setRange(1, 9)
self._slider.setValue(self._config.level)
self._slider.valueChanged.connect(self.updateStructure)
# Create options button
#self._options = QtGui.QPushButton(self)
#self._options.setText('Options'))
#self._options.setToolTip("What elements to show.")
self._options = QtGui.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 = QtGui.QMenu()
self._options.setMenu(self._options._menu)
# Create tree widget
self._tree = QtGui.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 = QtGui.QVBoxLayout(self)
self._sizer2 = QtGui.QHBoxLayout()
self._sizer1.setSpacing(2)
self._sizer1.setContentsMargins(4, 4, 4, 4)
# Set layout
self._sizer1.addLayout(self._sizer2, 0)
self._sizer1.addWidget(self._tree, 1)
self._sizer2.addWidget(self._sliderIcon, 0)
self._sizer2.addWidget(self._slider, 4)
self._sizer2.addStretch(1)
self._sizer2.addWidget(self._options, 2)
#
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, *args):
QtGui.QDialog.__init__(self, *args)
self.setModal(True)
# Set title
self.setWindowTitle(pyzo.translate('shell', 'Shell configurations'))
# Create tab widget
self._tabs = QtGui.QTabWidget(self)
#self._tabs = CompactTabWidget(self, padding=(4,4,5,5))
#self._tabs.setDocumentMode(False)
self._tabs.setMovable(True)
# Get known interpreters (sorted them by version)
# Do this here so we only need to do it once ...
from pyzo.util.interpreters import get_interpreters
self.interpreters = list(reversed(get_interpreters('2.4')))
# Introduce an entry if there's none
if not pyzo.config.shellConfigs2:
w = ShellInfoTab(self._tabs)
self._tabs.addTab(w, '---')
w.setInfo()
# Fill tabs
for item in pyzo.config.shellConfigs2:
w = ShellInfoTab(self._tabs)
self._tabs.addTab(w, '---')
w.setInfo(item)
# Enable making new tabs and closing tabs
self._add = QtGui.QToolButton(self)
self._tabs.setCornerWidget(self._add)
self._add.clicked.connect(self.onAdd)
self._add.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
self._add.setIcon(pyzo.icons.add)
self._add.setText(translate('shell', 'Add config'))
#
#self._tabs.setTabsClosable(True)
self._tabs.tabCloseRequested.connect(self.onTabClose)
# Create buttons
cancelBut = QtGui.QPushButton("Cancel", self)
okBut = QtGui.QPushButton("Done", self)
cancelBut.clicked.connect(self.close)
okBut.clicked.connect(self.applyAndClose)
# Layout for buttons
buttonLayout = QtGui.QHBoxLayout()
buttonLayout.addStretch(1)
buttonLayout.addWidget(cancelBut)
buttonLayout.addSpacing(10)
buttonLayout.addWidget(okBut)
# Layout the widgets
mainLayout = QtGui.QVBoxLayout(self)
mainLayout.addSpacing(8)
mainLayout.addWidget(self._tabs, 0)
mainLayout.addLayout(buttonLayout, 0)
self.setLayout(mainLayout)
# Prevent resizing
self.show()
self.setMinimumSize(500, 400)
self.resize(640, 500)
