|
#! /usr/bin/env python3
# -*- coding: utf-8 -*-
# Copyright 2011-2013, Marten de Vries
#
# This file is part of OpenTeacher.
#
# OpenTeacher is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# OpenTeacher is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with OpenTeacher. If not, see <http://www.gnu.org/licenses/>.
from PyQt5 import QtCore, QtWidgets, QtGui
#INFO: ICON_PATH is set by gui.py . Set it yourself when re-using this
#code in another context.
WINDOW_WIDTH = 640
WINDOW_HEIGHT = 520
class LessonTabWidget(QtWidgets.QTabWidget):
def __init__(self, enterWidget, teachWidget, resultsWidget, *args, **kwargs):
super().__init__(*args, **kwargs)
self.enterWidget = enterWidget
self.teachWidget = teachWidget
self.resultsWidget = resultsWidget
39 if enterWidget:
self.addTab(self.enterWidget, "")
41 if teachWidget:
self.addTab(self.teachWidget, "")
44 if resultsWidget:
self.addTab(self.resultsWidget, "")
self.setTabPosition(QtWidgets.QTabWidget.South)
self.setDocumentMode(True)
self.retranslate()
def retranslate(self):
self.setTabText(self.indexOf(self.enterWidget), _("Enter list"))
self.setTabText(self.indexOf(self.teachWidget), _("Teach me!"))
self.setTabText(self.indexOf(self.resultsWidget), _("Show results"))
class FilesTabBar(QtWidgets.QTabBar):
def tabSizeHint(self, index):
normalSize = super().tabSizeHint(index)
if index == self.count() -1:
#manually calculate horizontal size like the super class
#does, but omit space for the text since there isn't any.
opt = QtWidgets.QStyleOptionTab()
self.initStyleOption(opt, index)
hframe = self.style().pixelMetric(QtWidgets.QStyle.PM_TabBarTabHSpace, opt, self)
iconWidth = self.iconSize().width()
horizontalPadding = 2
return QtCore.QSize(
hframe + iconWidth + horizontalPadding,
normalSize.height()
)
return normalSize
class FilesTabWidget(QtWidgets.QTabWidget):
def __init__(self, startWidget, *args, **kwargs):
super().__init__(*args, **kwargs)
self.startWidget = startWidget
self._tabBar = FilesTabBar(self)
self.setTabBar(self._tabBar)
self.setTabsClosable(True)
self.setDocumentMode(True)
i = self.addTab(
self.startWidget,
QtGui.QIcon.fromTheme("add",
QtGui.QIcon(ICON_PATH + "add.png"),
),
""
)
#remove the close button from the add tab (can both be at the
#right and left side)
self._tabBar.setTabButton(i, QtWidgets.QTabBar.RightSide, None)
self._tabBar.setTabButton(i, QtWidgets.QTabBar.LeftSide, None)
def _wrapWidget(self, w):
# We wrap the layout in a QVBoxLayout widget, so messages can be added on top of the tab.
wrapperWidget = QtWidgets.QWidget()
wrapperLayout = QtWidgets.QVBoxLayout()
#no borders
wrapperLayout.setContentsMargins(0, 0, 0, 0)
wrapperLayout.addWidget(w)
wrapperWidget.setLayout(wrapperLayout)
w.wrapperWidget = wrapperWidget
return wrapperWidget
def addTab(self, w, *args, **kwargs):
w.setAutoFillBackground(True)
return self.insertTab(self.count() -1, w, *args, **kwargs) #-1 because of +-tab
def insertTab(self, i, w, *args, **kwargs):
wrappedWidget = self._wrapWidget(w)
#create tab
i = super().insertTab(i, wrappedWidget, *args, **kwargs)
#set new tab to current
self.setCurrentIndex(i)
return i
class OpenTeacherWidget(QtWidgets.QMainWindow):
activityChanged = QtCore.pyqtSignal([object])
exit def __init__(self, startWidget=None, requestClose=lambda: None, *args, **kwargs):
super().__init__(*args, **kwargs)
self.resize(WINDOW_WIDTH, WINDOW_HEIGHT)
#used to ask for permission before closing the window.
self._requestClose = requestClose
#tabWidget
self.tabWidget = FilesTabWidget(startWidget, self)
self.setCentralWidget(self.tabWidget)
#File menu
self.fileMenu = QtWidgets.QMenu(self)
self.menuBar().addMenu(self.fileMenu)
newIcon = QtGui.QIcon.fromTheme("document-new",
QtGui.QIcon(ICON_PATH + "new.png"),
)
self.newAction = QtWidgets.QAction(newIcon, "", self)
self.newAction.setShortcut(QtGui.QKeySequence.New)
self.fileMenu.addAction(self.newAction)
openIcon = QtGui.QIcon.fromTheme("document-open",
QtGui.QIcon(ICON_PATH + "open.png")
)
self.openAction = QtWidgets.QAction(openIcon, "", self)
self.openAction.setShortcut(QtGui.QKeySequence.Open)
self.fileMenu.addAction(self.openAction)
self.openIntoAction = QtWidgets.QAction(self)
self.fileMenu.addAction(self.openIntoAction)
self.fileMenu.addSeparator()
saveIcon = QtGui.QIcon.fromTheme("document-save",
QtGui.QIcon(ICON_PATH + "save.png")
)
self.saveAction = QtWidgets.QAction(saveIcon, "", self)
self.saveAction.setShortcut(QtGui.QKeySequence.Save)
self.fileMenu.addAction(self.saveAction)
saveAsIcon = QtGui.QIcon.fromTheme("document-save-as",
QtGui.QIcon(ICON_PATH + "save_as.png"),
)
self.saveAsAction = QtWidgets.QAction(saveAsIcon, "", self)
self.saveAsAction.setShortcut(QtGui.QKeySequence.SaveAs)
self.fileMenu.addAction(self.saveAsAction)
self.fileMenu.addSeparator()
printIcon = QtGui.QIcon.fromTheme("document-print",
QtGui.QIcon(ICON_PATH + "print.png")
)
self.printAction = QtWidgets.QAction(printIcon, "", self)
self.printAction.setShortcut(QtGui.QKeySequence.Print)
self.fileMenu.addAction(self.printAction)
self.fileMenu.addSeparator()
quitIcon = QtGui.QIcon.fromTheme("application-exit",
QtGui.QIcon(ICON_PATH + "quit.png")
)
self.quitAction = QtWidgets.QAction(quitIcon, "", self)
self.quitAction.setShortcut(QtGui.QKeySequence.Quit)
self.fileMenu.addAction(self.quitAction)
#Edit
self.editMenu = QtWidgets.QMenu(self)
self.menuBar().addMenu(self.editMenu)
self.reverseAction = QtWidgets.QAction(self)
self.editMenu.addAction(self.reverseAction)
settingsIcon = QtGui.QIcon.fromTheme("preferences-system",
QtGui.QIcon(ICON_PATH + "settings.png")
)
self.settingsAction = QtWidgets.QAction(settingsIcon, "", self)
self.editMenu.addAction(self.settingsAction)
#View
self.viewMenu = QtWidgets.QMenu(self)
self.menuBar().addMenu(self.viewMenu)
fullscreenIcon = QtGui.QIcon.fromTheme("view-fullscreen",
QtGui.QIcon(ICON_PATH + "fullscreen.png")
)
self.fullscreenAction = QtWidgets.QAction(fullscreenIcon, "", self)
self.fullscreenAction.setCheckable(True)
self.viewMenu.addAction(self.fullscreenAction)
#Help
self.helpMenu = QtWidgets.QMenu(self)
self.menuBar().addMenu(self.helpMenu)
docsIcon = QtGui.QIcon.fromTheme("help",
QtGui.QIcon(ICON_PATH + "help.png")
)
self.docsAction = QtWidgets.QAction(docsIcon, "", self)
self.helpMenu.addAction(self.docsAction)
aboutIcon = QtGui.QIcon.fromTheme("help-about",
QtGui.QIcon(ICON_PATH + "about.png")
)
self.aboutAction = QtWidgets.QAction(aboutIcon, "", self)
self.helpMenu.addAction(self.aboutAction)
#Toolbar
self.toolBar = self.addToolBar("")
self.toolBar.addAction(self.newAction)
self.toolBar.addAction(self.openAction)
self.toolBar.addSeparator()
self.toolBar.addAction(self.saveAction)
self.toolBar.addAction(self.saveAsAction)
self.toolBar.addSeparator()
self.toolBar.addAction(self.printAction)
self.toolBar.addSeparator()
self.toolBar.addAction(self.quitAction)
self.toolBar.setToolButtonStyle(QtCore.Qt.ToolButtonTextBesideIcon)
def closeEvent(self, event):
if self._requestClose():
event.accept()
else:
event.ignore()
def retranslate(self):
self.fileMenu.setTitle(_("&File"))
self.newAction.setText(_("&New"))
self.openAction.setText(_("&Open"))
self.openIntoAction.setText(_("Open &into current list"))
self.saveAction.setText(_("&Save"))
self.saveAsAction.setText(_("Save &As"))
self.printAction.setText(_("&Print"))
self.quitAction.setText(_("&Quit"))
self.editMenu.setTitle(_("&Edit"))
self.reverseAction.setText(_("&Reverse list"))
self.settingsAction.setText(_("&Settings"))
self.viewMenu.setTitle(_("&View"))
self.fullscreenAction.setText(_("Fullscreen"))
self.helpMenu.setTitle(_("&Help"))
self.docsAction.setText(_("&Documentation"))
self.aboutAction.setText(_("&About"))
self.toolBar.setWindowTitle(_("Toolbar"))
def changeEvent(self, event):
278 if event.type() == QtCore.QEvent.ActivationChange:
self.activityChanged.emit(self.isActiveWindow())
|
