def __init__(self, editor):
QtGui.QWidget.__init__(self, editor)
self.editor = editor
self.horizontalLayout = QtGui.QHBoxLayout(self)
self.horizontalLayout.setObjectName("horizontalLayout")
self.horizontalLayout.setSpacing(0)
self.horizontalLayout.setMargin(0)
def setupUi(self):
layout = QtGui.QHBoxLayout()
layout.setSpacing(0)
layout.setMargin(0)
self.buttonBold = QtGui.QPushButton("B")
self.buttonBold.setCheckable(True)
font = QtGui.QFont()
font.setWeight(QtGui.QFont.Bold)
self.buttonBold.setFont(font)
self.buttonBold.setMaximumWidth(30)
self.buttonItalic = QtGui.QPushButton("I")
self.buttonItalic.setCheckable(True)
font = QtGui.QFont()
font.setItalic(True)
self.buttonItalic.setFont(font)
self.buttonItalic.setMaximumWidth(30)
self.buttonUnderline = QtGui.QPushButton("U")
self.buttonUnderline.setCheckable(True)
font = QtGui.QFont()
font.setUnderline(True)
self.buttonUnderline.setFont(font)
self.buttonUnderline.setMaximumWidth(30)
layout.addWidget(self.buttonBold)
layout.addWidget(self.buttonItalic)
layout.addWidget(self.buttonUnderline)
self.setLayout(layout)
def __init__(self, parent):
QtGui.QWidget.__init__(self, parent)
layout = QtGui.QHBoxLayout()
row_nb = 14
cindex = 0
for child in dir(QtGui.QStyle):
if child.startswith('SP_'):
if cindex == 0:
col_layout = QtGui.QVBoxLayout()
icon_layout = QtGui.QHBoxLayout()
icon = get_std_icon(child)
label = QtGui.QLabel()
label.setPixmap(icon.pixmap(32, 32))
icon_layout.addWidget(label)
icon_layout.addWidget(QtGui.QLineEdit(child.replace('SP_',
'')))
col_layout.addLayout(icon_layout)
cindex = (cindex + 1) % row_nb
if cindex == 0:
layout.addLayout(col_layout)
self.setLayout(layout)
self.setWindowTitle('Standard Platform Icons')
self.setWindowIcon(get_std_icon('TitleBarMenuButton'))
def setupCornerWidget(self):
widget = QtGui.QWidget()
layout = QtGui.QHBoxLayout()
# Add
self.pushAddNewTerminal = QtGui.QPushButton()
self.pushAddNewTerminal.setIcon(resources.getIcon('utilities-terminal'))
self.pushAddNewTerminal.setToolTip(_("Add new terminal"))
self.pushAddNewTerminal.setFlat(True)
menuAddNew = QtGui.QMenu()
actionNew = menuAddNew.addAction("Terminal")
actionNew.triggered.connect(self.addTerminal)
actionCustom = menuAddNew.addAction("Run in terminal...")
actionCustom.triggered.connect(self.launchCustomCommandInTerminal)
self.pushAddNewTerminal.setMenu(menuAddNew)
layout.addWidget(self.pushAddNewTerminal)
# Copy
shortcutCopy = QtGui.QShortcut(QtGui.QKeySequence("Ctrl+c"), self)
shortcutCopy.activated.connect(lambda s = self: s.currentWidget().copyClipboard())
# Paste
self.pushPasteIntoTerminal = QtGui.QPushButton()
self.pushPasteIntoTerminal.setIcon(resources.getIcon('edit-paste'))
self.pushPasteIntoTerminal.setObjectName('pushPasteIntoTerminal')
self.pushPasteIntoTerminal.setToolTip('Paste text into terminal')
self.pushPasteIntoTerminal.setFlat(True)
self.pushPasteIntoTerminal.pressed.connect(lambda s=self: s.currentWidget().pasteClipboard())
layout.addWidget(self.pushPasteIntoTerminal)
# Config
self.pushConfigTerminal = QtGui.QPushButton("C")
#self.pushConfigTerminal.setIcon(getIcon('preference'))
# self.pushConfigTerminal.setObjectName('pushConfigTerminal')
# self.pushConfigTerminal.setToolTip('Configure terminal')
# self.pushConfigTerminal.setFlat(True)
# layout.addWidget(self.pushConfigTerminal)
self.cornerMenuButton = QtGui.QPushButton()
self.cornerMenuButtonMenu = QtGui.QMenu()
self.cornerMenuButton.setMenu(self.cornerMenuButtonMenu)
self.cornerMenuButtonMenu.addAction("Alfa")
self.cornerMenuButtonMenu.addAction("Beta")
self.cornerMenuButtonMenu.addAction("Gama")
layout.addWidget(self.cornerMenuButton)
# Close
self.pushCloseTerminal = QtGui.QPushButton()
self.pushCloseTerminal.setIcon(resources.getIcon("close"))
self.pushCloseTerminal.setObjectName("pushCloseTerminal")
self.pushCloseTerminal.setToolTip(_("Close terminal"))
self.pushCloseTerminal.setFlat(True)
self.pushCloseTerminal.pressed.connect(lambda s=self: s.removeTab(s.currentIndex()))
layout.addWidget(self.pushCloseTerminal)
widget.setLayout(layout)
# Save some space
widget.setStyleSheet('''
QPushButton {
margin: 0px;
padding: 0 0px 0 2px;
}
''')
self.setCornerWidget(widget)