1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
# This file is part of the Frescobaldi project, http://www.frescobaldi.org/
#
# Copyright (c) 2008 - 2014 by Wilbert Berendsen
#
# This program 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 2
# of the License, or (at your option) any later version.
#
# This program 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 this program; if not, write to the Free Software
# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
# See http://www.gnu.org/licenses/ for more information.
"""
Manages the progress bar in the status bar of ViewSpaces.
"""
from __future__ import division
from PyQt5.QtCore import Qt, QTimeLine, QTimer
from PyQt5.QtWidgets import QProgressBar
import app
import plugin
import jobmanager
import jobattributes
import metainfo
import widgets.progressbar
metainfo.define('buildtime', 0.0, float)
class ProgressBar(plugin.ViewSpacePlugin):
"""A Simple progress bar to show a Job is running."""
def __init__(self, viewSpace):
bar = self._bar = widgets.progressbar.TimedProgressBar()
viewSpace.status.layout().addWidget(bar, 0, Qt.AlignCenter)
bar.hide()
viewSpace.viewChanged.connect(self.viewChanged)
app.jobStarted.connect(self.jobStarted)
app.jobFinished.connect(self.jobFinished)
def viewChanged(self, view):
self.showProgress(view.document())
def showProgress(self, document):
job = jobmanager.job(document)
if job and job.is_running():
buildtime = metainfo.info(document).buildtime
if not buildtime:
buildtime = 3.0 + document.blockCount() / 20 # very arbitrary estimate...
self._bar.start(buildtime, job.elapsed_time())
if jobattributes.get(job).hidden:
self._bar.setEnabled(False)
self._bar.setMaximumHeight(8)
self._bar.setTextVisible(False)
else:
self._bar.setEnabled(True)
self._bar.setMaximumHeight(14)
self._bar.setTextVisible(True)
else:
self._bar.stop(False)
def jobStarted(self, document, job):
if document == self.viewSpace().document():
self.showProgress(document)
def jobFinished(self, document, job, success):
if document == self.viewSpace().document():
self._bar.stop(success and not jobattributes.get(job).hidden)
if success:
metainfo.info(document).buildtime = job.elapsed_time()
app.viewSpaceCreated.connect(ProgressBar.instance)
|
