def __init__(self, parent=None):
super(QtReduceMainWindow, self).__init__(parent)
iconSize = QSettings().value("toolbar/iconsize", QtReduceDefaults.ICONSIZE)
traceLogger.debug("0######### QtReduceDefaults.ICONSIZE is %s", QtReduceDefaults.ICONSIZE)
traceLogger.debug("0######### iconSize is %s", iconSize)
hugo = QSettings().value("toolbar/hugo", QtReduceDefaults.ICONSIZE)
traceLogger.debug("0######### hugo is %s", hugo)
if os.uname()[0] != "Darwin": # For the Mac the icon is set for the app in qreduce.py.
self.setWindowIcon(QIcon(sys.path[0] + "/" + "Bumblebee.png"))
self.setUnifiedTitleAndToolBarOnMac(True)
self.controller = QtReduceController(self)
self.setCentralWidget(self.controller.view)
self.__createPreferences()
self.__initTitleBar()
self.__createStatusBar()
self.recentFileMenu = QtRecentFileMenu(self)
self.controller.fileNameChanged.connect(self.recentFileMenu.addFile)
self.__createActions()
self.__createMenus()
self.__createToolBar()
self.__resizeByFont(QtReduceDefaults.WIDTH, QtReduceDefaults.HEIGHT)
self.raise_()
self.show()
self.rawModelView = QtReduceTableView(self)
self.rawModelView.setModel(self.controller.model)
class QtReduceMainWindow(QMainWindow):
# QtReduceMainWindow is the actual GUI. It creates one instance of
# QtReduceController, which in turn creates one instance of each of
# QtReduceModel and QtReduceFrameView.
#
# At present, QtReduceMainWindow also exerimentally generates an instance of
# QtReduceTableView for debugging and verifiying the MVC concept. Probably,
# this should be better moved into QtReduceController.
iconSetChanged = Signal(StringType)
iconSizeChanged = Signal(StringType)
toolButtonStyleChanged = Signal(StringType)
def __init__(self, parent=None):
super(QtReduceMainWindow, self).__init__(parent)
iconSize = QSettings().value("toolbar/iconsize", QtReduceDefaults.ICONSIZE)
traceLogger.debug("0######### QtReduceDefaults.ICONSIZE is %s", QtReduceDefaults.ICONSIZE)
traceLogger.debug("0######### iconSize is %s", iconSize)
hugo = QSettings().value("toolbar/hugo", QtReduceDefaults.ICONSIZE)
traceLogger.debug("0######### hugo is %s", hugo)
if os.uname()[0] != "Darwin": # For the Mac the icon is set for the app in qreduce.py.
self.setWindowIcon(QIcon(sys.path[0] + "/" + "Bumblebee.png"))
self.setUnifiedTitleAndToolBarOnMac(True)
self.controller = QtReduceController(self)
self.setCentralWidget(self.controller.view)
self.__createPreferences()
self.__initTitleBar()
self.__createStatusBar()
self.recentFileMenu = QtRecentFileMenu(self)
self.controller.fileNameChanged.connect(self.recentFileMenu.addFile)
self.__createActions()
self.__createMenus()
self.__createToolBar()
self.__resizeByFont(QtReduceDefaults.WIDTH, QtReduceDefaults.HEIGHT)
self.raise_()
self.show()
self.rawModelView = QtReduceTableView(self)
self.rawModelView.setModel(self.controller.model)
def about(self):
QMessageBox.about(self, self.tr("About QReduce"),self.tr(
'<span style="font-size:x-large;font-weight:bold;color:#000000">'
'QReduce'
'</span>'
'<p>'
'<span style="font-weight:normal;">'
'Version 0.2'
'</span>'
'<p>'
'<span style="font-weight:normal;">'
'A Worksheet-Based GUI '
'for the Computer Algebra System Reduce'
'</span>'
'<p>'
'<span style="font-size:small;font-weight:normal;color:#808080">'
'© 2009-2014 T. Sturm, 2010 C. Zengler'
'</span>'
'</span>'))
def closeEvent(self,ev):
ok = self.__suggestSave()
if ok:
if self.isFullScreen():
self.toggleFullScreen()
del self.controller.model.reduce.reduce
ev.accept()
else:
ev.ignore()
def currentFontChangedHandler(self,font):
signalLogger.debug("font=%s" % font)
self.controller.view.currentFontChangedHandler(font)
self.__setWidthByFont(QtReduceDefaults.WIDTH,True)
def currentSizeChangedHandler(self,size):
signalLogger.debug("size=%s" % size)
self.controller.view.currentSizeChangedHandler(size, self.isFullScreen())
def currentSizeChangedHandlerFs(self,size):
self.controller.view.currentSizeChangedHandlerFs(size, self.isFullScreen())
def license_(self):
lic = QTextEdit(self)
lic.setWindowFlags(Qt.Window)
lic.setWindowTitle("QReduce FreeBSD License")
font = lic.font()
font.setFamily('')
font.setFixedPitch(True)
font.setKerning(0)
font.setWeight(QFont.Normal)
font.setItalic(False)
lic.setFont(font)
lic.setText(
'Copyright (c) 2009-2014 T. Sturm, 2010 C. Zengler'
'<p>'
'All rights reserved.'
'<p>'
'Redistribution and use in source and binary forms, with '
'or without modification, are permitted provided that the '
'following conditions are met:'
'<ol>'
'<li>Redistributions of source code must retain the relevant '
'copyright notice, this list of conditions and the following '
'disclaimer. '
'<p>'
'<li>Redistributions in binary form must reproduce the above '
'copyright notice, this list of conditions and the following '
'disclaimer in the documentation and/or other materials '
'provided with the distribution. '
'</ol>'
'<p>'
'THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND '
'CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, '
'INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF '
'MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE '
'DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNERS OR '
'CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, '
'SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT '
'NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; '
'LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) '
'HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN '
'CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR '
'OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS '
'SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.'
'</span>')
lic.setReadOnly(True)
w = 66 * lic.fontMetrics().width('m')
h = 36 * lic.fontMetrics().height()
lic.resize(w,h)
lic.show()
lic.raise_()
def open(self):
ok = self.__suggestSave()
if not ok:
return
title = self.tr("Open Reduce Worksheet")
fn = self.controller.fileName().__str__()
if fn == '':
fn = '$HOME'
path = os.path.dirname(os.path.abspath(fn))
traceLogger.debug("path=%s" % path)
filter = self.tr("Reduce Worksheets (*.rws);;All Files (*.*)")
fileName = QFileDialog.getOpenFileName(self,title,path,filter)
fileName = str(fileName[0])
traceLogger.debug("fileName=%s" % fileName)
if fileName is '':
return
if not fileName.endswith(".rws"):
fileName += ".rws"
return self.controller.open(fileName)
def openRecentFile(self):
action = self.sender()
if action:
ok = self.__suggestSave()
if ok:
return self.controller.open(action.data())
def save(self):
if self.controller.fileName() == '':
self.saveAs()
else:
self.controller.save()
def saveAs(self):
title = self.tr("Save Reduce Worksheet")
path = os.path.dirname(os.path.abspath(self.controller.fileName().__str__()))
filter = self.tr("Reduce Worksheets (*.rws)")
fileName = QFileDialog.getSaveFileName(self,title,path,filter)
fileName = str(fileName[0])
traceLogger.debug("fileName=%s" % fileName)
if fileName == '':
return
if not fileName.endswith(".rws"):
fileName += ".rws"
self.controller.saveAs(fileName)
self.activateWindow()
def setTitle(self,fullPath):
traceLogger.debug("fullPath=%s" % fullPath)
if fullPath is '':
self.setWindowTitle("[*]" + self.tr("Untitled"))
else:
info = QFileInfo(fullPath)
self.setWindowFilePath(info.absolutePath())
self.setWindowTitle("[*]" + info.fileName())
def showMessage(self,message):
self.statusBar().showMessage(message,0)
def toggleRawModel(self):
if self.rawModelView.isVisible():
self.rawModelView.hide()
self.rawModelAct.setText('Show Raw Model')
else:
self.rawModelView.show()
self.rawModelView.raise_()
self.rawModelAct.setText('Hide Raw Model')
def test(self):
None
def toggleFullScreen(self):
self.rawModelView.hide()
self.rawModelAct.setText('Show Raw Model')
if self.isFullScreen():
self.showNormal()
self.rawModelAct.setEnabled(True)
self.rawModelView.setWindowFlags(Qt.Drawer)
# self.addToolBar(Qt.TopToolBarArea,self.toolBar)
fs = QSettings().value("worksheet/fontsize",
QtReduceDefaults.FONTSIZE)
self.controller.view.setupFont(fs)
self.fullScreenAct.setText("Enter Full Screen")
self.fullScreenAct.setShortcut(QKeySequence(Qt.ControlModifier|
Qt.Key_F))
self.__setFullScreenIcons(False)
else:
self.showFullScreen()
self.rawModelAct.setEnabled(False)
# self.addToolBar(Qt.LeftToolBarArea,self.toolBar)
fs = QSettings().value("worksheet/fontsizefs",
QtReduceDefaults.FONTSIZEFS)
self.controller.view.setupFont(fs)
self.fullScreenAct.setText("Exit Full Screen")
self.fullScreenAct.setShortcut(Qt.Key_Escape)
self.__setFullScreenIcons(True)
def updateActionIcons(self):
for act in [self.openAct,
self.saveAct,
self.saveAsAct,
self.quitAct,
self.preferencesAct,
self.zoomDefAct,
self.zoomInAct,
self.zoomOutAct,
self.fullScreenAct,
self.insertAboveAct,
self.insertBelowAct,
self.evalAct,
self.abortAct,
self.delOutpAct,
self.rawModelAct,
self.testAct,
self.aboutAct,
self.licenseAct]:
act.setIcon(QtReduceIconSets().icon(act))
def zoomDef(self):
self.controller.view.zoomDef(self.isFullScreen())
def zoomIn(self):
self.controller.view.zoomIn()
def zoomOut(self):
self.controller.view.zoomOut()
def __createActions(self):
# Open ...
self.openAct = QAction(self.tr("Open ..."), self,
iconText=self.tr("Open ..."),
shortcut=QKeySequence(QKeySequence.Open),
triggered=self.open)
self.openAct.setMenu(self.recentFileMenu)
# Save
self.saveAct = QAction(self.tr("Save"), self,
shortcut=QKeySequence(QKeySequence.Save),
triggered=self.save)
# Save As ...
self.saveAsAct = QAction(self.tr("Save As ..."), self,
iconText=self.tr("Save As"),
shortcut=QKeySequence(QKeySequence.SaveAs),
triggered=self.saveAs)
# Quit
self.quitAct = QAction(self.tr("Quit"), self,
menuRole=QAction.QuitRole,
shortcut=QKeySequence(QKeySequence.Quit),
triggered=self.close)
# Preferences ...
self.preferencesAct = QAction(self.tr("Preferences ..."), self,
menuRole=QAction.PreferencesRole,
shortcut=QKeySequence(QKeySequence.Preferences),
triggered=self.preferencePane.show)
# Zoom Default
self.zoomDefAct = QAction(self.tr("Zoom Default"), self,
shortcut=QKeySequence(Qt.ControlModifier|Qt.Key_Equal),
triggered=self.zoomDef)
# Zoom In
self.zoomInAct = QAction(self.tr("Zoom In"), self,
shortcut=QKeySequence(QKeySequence.ZoomIn),
triggered=self.zoomIn)
# Zoom Out
self.zoomOutAct = QAction(self.tr("Zoom Out"), self,
shortcut=QKeySequence(QKeySequence.ZoomOut),
triggered=self.zoomOut)
# Enter FullScreen
self.fullScreenAct = QAction(self.tr("Enter Full Screen"), self,
shortcut=QKeySequence(Qt.ControlModifier|Qt.Key_F),
triggered=self.toggleFullScreen)
# Evaluate Selection
self.evalSelAct = QAction(self.tr("Evaluate Selection"), self,
enabled=False,
triggered=self.controller.evaluateSelection)
# Evaluate All
self.evalAct = QAction(self.tr("Evaluate All"), self,
enabled=True,
iconText=self.tr("Evaluate All"),
triggered=self.controller.evaluateAll)
# Delete All Output
self.delOutpAct = QAction(self.tr("Delete All Output"), self,
enabled=True,
iconText=self.tr("Delete All Output"),
triggered=self.controller.deleteOutput)
# Delete Group
self.deleteAct = QAction(self.tr("Delete Group"), self,
shortcut=QKeySequence(Qt.ControlModifier|Qt.Key_Backspace),
enabled=True,
triggered=self.controller.deleteRowOrPreviousRow)
# Insert Group Above
self.insertAboveAct = QAction(self.tr("Insert Group Above"), self,
shortcut=QKeySequence(Qt.ShiftModifier|
Qt.ControlModifier|
Qt.Key_Return),
enabled=True,
triggered=self.controller.insertAbove)
# Insert Group Below
self.insertBelowAct = QAction(self.tr("Insert Group Below"), self,
enabled=True,
shortcut=QKeySequence(Qt.ControlModifier|Qt.Key_Return),
triggered=self.controller.insertBelow)
# Abort Evaluation
self.abortAct = QAction(self.tr("Abort Evaluation"), self,
enabled=False,
iconText=self.tr("Abort"),
shortcut=QKeySequence(Qt.AltModifier|Qt.Key_C),
triggered=self.controller.abortComputation)
self.controller.acceptAbort.connect(self.abortAct.setEnabled)
# Show Raw Model
self.rawModelAct = QAction(self.tr("Show Raw Model"), self,
enabled=True,
triggered=self.toggleRawModel)
# A hook for development
self.testAct = QAction(self.tr("MainWindow::test"), self,
enabled=True,
shortcut=QKeySequence(Qt.ControlModifier|Qt.Key_T),
triggered=self.test)
# About
self.aboutAct = QAction(self.tr("About"), self,
menuRole=QAction.AboutRole,
triggered=self.about)
# License
self.licenseAct = QAction(self.tr("License"), self,
triggered=self.license_)
# Icons belong to actions. Technically, they could have been set in the
# QAction calls above. However, we want to be able to exchange the icon
# set via the Preferences. Therefore we explicitly set them in a loop in
# a public method:
self.updateActionIcons()
# Listen to modifications of the icon set in the Preferences:
self.iconSetChanged.connect(self.updateActionIcons)
self.iconSizeChanged.connect(self.updateActionIcons)
def __createMenus(self):
# File
self.fileMenu = self.menuBar().addMenu(self.tr("File"))
self.fileMenu.addAction(self.openAct)
self.fileMenu.addMenu(self.recentFileMenu)
self.fileMenu.addSeparator()
self.fileMenu.addAction(self.saveAct)
self.fileMenu.addAction(self.saveAsAct)
self.fileMenu.addSeparator()
self.fileMenu.addAction(self.quitAct)
# Edit
self.editMenu = self.menuBar().addMenu(self.tr("Edit"))
self.editMenu.addAction(self.preferencesAct)
# View
self.viewMenu = self.menuBar().addMenu(self.tr("View"))
self.viewMenu.addAction(self.fullScreenAct)
self.viewMenu.addSeparator()
self.viewMenu.addAction(self.zoomDefAct)
self.viewMenu.addAction(self.zoomInAct)
self.viewMenu.addAction(self.zoomOutAct)
# Worksheet
self.worksheetMenu = self.menuBar().addMenu(self.tr("Worksheet"))
self.worksheetMenu.addAction(self.evalSelAct)
self.worksheetMenu.addAction(self.evalAct)
self.worksheetMenu.addSeparator()
self.worksheetMenu.addAction(self.delOutpAct)
self.worksheetMenu.addSeparator()
self.worksheetMenu.addAction(self.deleteAct)
self.worksheetMenu.addSeparator()
self.worksheetMenu.addAction(self.insertAboveAct)
self.worksheetMenu.addAction(self.insertBelowAct)
self.worksheetMenu.addSeparator()
self.worksheetMenu.addAction(self.abortAct)
# Develop
self.develMenu = self.menuBar().addMenu(self.tr("Develop"))
self.develMenu.addAction(self.rawModelAct)
self.develMenu.addSeparator()
self.develMenu.addAction(self.testAct)
# Help
self.helpMenu = self.menuBar().addMenu(self.tr("Help"))
self.helpMenu.addAction(self.aboutAct)
self.helpMenu.addAction(self.licenseAct)
def __createPreferences(self):
self.preferencePane = QtReducePreferencePane(self)
# Connect signals for Toolbar pane:
self.preferencePane.toolBar.iconSetCombo.currentIndexChanged.connect(
self.iconSetChanged)
self.preferencePane.toolBar.iconSetCombo.currentIndexChanged.connect(
QtReduceIconSets().iconSetChanged)
self.preferencePane.toolBar.iconSetCombo.currentIndexChanged.connect(
self.updateActionIcons)
self.preferencePane.toolBar.iconSizeCombo.currentIconSizeChanged.connect(
self.iconSizeChanged)
self.preferencePane.toolBar.iconSizeCombo.currentIconSizeChanged.connect(
QtReduceIconSets().iconSizeChanged)
self.preferencePane.toolBar.iconSizeCombo.currentIconSizeChanged.connect(
self.updateActionIcons)
self.preferencePane.toolBar.showCombo.currentIndexChanged.connect(
self.toolButtonStyleChanged)
# Connect signals for Worksheet pane:
self.preferencePane.worksheet.fontCombo.currentFontChanged.connect(
self.currentFontChangedHandler)
self.preferencePane.worksheet.sizeCombo.currentFontSizeChanged.connect(
self.currentSizeChangedHandler)
self.preferencePane.worksheet.sizeComboFs.currentFontSizeChangedFs.connect(
self.currentSizeChangedHandlerFs)
# Nothing to connect for Computation pane because the Reduce binary is
# evaluated only at startup.
def __createStatusBar(self):
self.setStatusBar(QtReduceStatusBar(self))
self.controller.startComputation.connect(self.statusBar().startComputationHandler)
self.controller.endComputation.connect(self.statusBar().endComputationHandler)
self.controller.view.cursorPositionChanged.connect(self.statusBar().clearMessage)
def __createToolBar(self):
self.toolBar = QtReduceToolBar(self)
self.toolBar.setMovable(False)
self.toolBar.addAction(self.openAct)
self.toolBar.addAction(self.saveAct)
self.toolBar.addSeparator()
self.toolBar.addAction(self.fullScreenAct)
self.toolBar.addSeparator()
self.toolBar.addAction(self.delOutpAct)
self.toolBar.addAction(self.evalAct)
self.toolBar.addAction(self.abortAct)
self.addToolBar(self.toolBar)
self.iconSetChanged.connect(self.toolBar.refresh)
self.iconSizeChanged.connect(self.toolBar.iconSizeChanged)
self.toolButtonStyleChanged.connect(self.toolBar.toolButtonStyleChanged)
def __initTitleBar(self):
self.setTitle(os.path.dirname(''))
self.controller.fileNameChanged.connect(self.setTitle)
self.controller.modified.connect(self.setWindowModified)
def __savediag(self):
diag = QMessageBox(self)
msg = 'Do you want to save the changes in your worksheet "'
msg += (self.controller.fileName().split('/')[-1] or 'untitled') + '"?'
diag.setText(msg)
diag.setInformativeText("Otherwise they will get lost")
diag.setIcon(QMessageBox.Warning)
diag.setStandardButtons(QMessageBox.StandardButton.Discard |
QMessageBox.StandardButton.Cancel |
QMessageBox.StandardButton.Save)
diag.setWindowModality(Qt.WindowModal)
return diag.exec_()
def __suggestSave(self):
while self.isWindowModified():
button = self.__savediag()
if button == QMessageBox.Save:
self.save()
elif button == QMessageBox.Discard:
return True
elif button == QMessageBox.Cancel:
return False
return True
def __resizeByFont(self,columns,lines):
mwidth = 72 * self.controller.view.fontMetrics().width('m')
mheight = 9 * self.controller.view.fontMetrics().lineSpacing()
self.setMinimumSize(mwidth,mheight)
width = columns * self.controller.view.fontMetrics().width('m')
height = lines * self.controller.view.fontMetrics().lineSpacing()
self.resize(width,height)
def __setWidthByFont(self,n,adaptHeight=False):
oldWidth = self.width()
width = n * self.controller.view.fontMetrics().width('m')
traceLogger.debug("width=%s, n=%s, family=%s, size=%s" %
(width,n,self.controller.view.font().family(),
self.controller.view.font().pointSize()))
self.setFixedWidth(width)
if adaptHeight:
factor = float(self.width())/float(oldWidth)
self.resize(1,int(self.height()*factor))
def __setFullScreenIcons(self,on):
if on:
self.saveIconSize = QSettings().value("toolbar/iconsize",
QtReduceDefaults.ICONSIZE)
QtReduceIconSets().iconSizeChanged("32")
self.updateActionIcons()
self.toolBar.iconSizeChanged("32")
self.preferencePane.toolBar.iconSizeCombo.setEnabled(False)
else:
QtReduceIconSets().iconSizeChanged(str(self.saveIconSize))
self.updateActionIcons()
self.toolBar.iconSizeChanged(str(self.saveIconSize))
self.preferencePane.toolBar.iconSizeCombo.setEnabled(True)
def __setHeightByFont(self,n):
height = n * QFontMetrics(self.controller.view.font()).height()
self.resize(1,height)
