def __init__(self,
parent=None,
showProgress=True,
showWaiting=False,
progressHidden=False,
progressHiddenWhileIdle=True,
progressShowFinished=3000,
showLog=True):
super(MusicPreviewWidget, self).__init__(parent)
self._lastbuildtime = 10.0
self._running = None
self._current = None
self._showLog = showLog
if showLog:
self._log = log.Log()
self._showProgress = showProgress
self._chooserLabel = QLabel()
self._chooser = QComboBox(self, activated=self.selectDocument)
self._view = popplerview.View()
self._showWaiting = showWaiting
if showWaiting:
from widgets.waitingoverlay import Overlay
self._waiting = Overlay(self._view)
self._waiting.hide()
self._stack = QStackedLayout()
self._top = QWidget()
layout = QVBoxLayout()
self.setLayout(layout)
layout.addWidget(self._top)
layout.addLayout(self._stack)
if self._showProgress:
self._progress = widgets.progressbar.TimedProgressBar(
parent=self,
hidden=progressHidden,
hideWhileIdle=progressHiddenWhileIdle,
showFinished=progressShowFinished)
layout.addWidget(self._progress)
top = QHBoxLayout()
top.setContentsMargins(0, 0, 0, 0)
top.setSpacing(2)
self._top.setLayout(top)
top.addWidget(self._chooserLabel)
top.addWidget(self._chooser)
top.addStretch(1)
if showLog:
self._stack.addWidget(self._log)
self._stack.addWidget(self._view)
self._top.hide()
app.aboutToQuit.connect(self.cleanup)
app.translateUI(self)
def createView(self):
"""Creates the actual View instance."""
self.view = popplerview.View(self)
self._main_layout.addWidget(self.view)
self.view.setViewMode(qpopplerview.FitWidth)
surface = self.view.surface()
surface.setShowUrlTips(False)
surface.setPageLayout(qpopplerview.RowLayout())
self.view.viewModeChanged.connect(self.updateZoomInfo)
surface.pageLayout().scaleChanged.connect(self.updateZoomInfo)
self.view.setContextMenuPolicy(Qt.CustomContextMenu)
self.view.customContextMenuRequested.connect(self.showContextMenu)
def __init__(self, dockwidget):
"""Creates the Music View for the dockwidget."""
super(MusicView, self).__init__(dockwidget)
self._positions = weakref.WeakKeyDictionary()
self._currentDocument = None
self._links = None
self._clicking_link = False
self._highlightFormat = QTextCharFormat()
self._highlightMusicFormat = Highlighter()
self._highlightRange = None
self._highlightTimer = QTimer(singleShot=True,
interval=250,
timeout=self.updateHighlighting)
self._highlightRemoveTimer = QTimer(singleShot=True,
timeout=self.clearHighlighting)
layout = QVBoxLayout()
layout.setContentsMargins(0, 0, 0, 0)
self.setLayout(layout)
self.view = popplerview.View(self)
self.view.MAX_ZOOM = 8.0
layout.addWidget(self.view)
app.settingsChanged.connect(self.readSettings)
self.readSettings()
self.view.setViewMode(qpopplerview.FitWidth)
self.view.surface().setPageLayout(qpopplerview.RowLayout())
self.view.surface().linkClicked.connect(self.slotLinkClicked)
self.view.surface().linkHovered.connect(self.slotLinkHovered)
self.view.surface().linkLeft.connect(self.slotLinkLeft)
self.view.surface().setShowUrlTips(False)
self.view.surface().linkHelpRequested.connect(
self.slotLinkHelpRequested)
self.view.viewModeChanged.connect(self.updateZoomInfo)
self.view.surface().pageLayout().scaleChanged.connect(
self.updateZoomInfo)
self.view.setContextMenuPolicy(Qt.CustomContextMenu)
self.view.customContextMenuRequested.connect(self.showContextMenu)
# react if cursor of current text document moves
dockwidget.mainwindow().currentViewChanged.connect(
self.slotCurrentViewChanged)
view = dockwidget.mainwindow().currentView()
if view:
self.slotCurrentViewChanged(view)
def __init__(self, parent=None):
super(MusicPreviewWidget, self).__init__(parent)
self._lastbuildtime = 10.0
self._running = None
self._current = None
self._chooserLabel = QLabel()
self._chooser = QComboBox(self, activated=self.selectDocument)
self._log = log.Log()
self._view = popplerview.View()
self._progress = widgets.progressbar.TimedProgressBar()
self._stack = QStackedLayout()
self._top = QWidget()
layout = QVBoxLayout()
self.setLayout(layout)
layout.addWidget(self._top)
layout.addLayout(self._stack)
layout.addWidget(self._progress)
top = QHBoxLayout()
top.setContentsMargins(0, 0, 0, 0)
top.setSpacing(2)
self._top.setLayout(top)
top.addWidget(self._chooserLabel)
top.addWidget(self._chooser)
top.addStretch(1)
self._stack.addWidget(self._log)
self._stack.addWidget(self._view)
self._top.hide()
app.aboutToQuit.connect(self.cleanup)
app.translateUI(self)