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
82
83
84
85
|
# 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 PyQt5.QtCore import Qt
import app
import job
import plugin
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(
hideWhileIdle=True
)
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):
j = job.manager.job(document)
if j and j.is_running():
buildtime = metainfo.info(document).buildtime
if not buildtime:
# very arbitrary estimate...
buildtime = 3.0 + document.blockCount() / 20
self._bar.start(buildtime, j.elapsed_time())
if job.attributes.get(j).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()
def jobStarted(self, document, job):
if document == self.viewSpace().document():
self.showProgress(document)
def jobFinished(self, document, j, success):
if document == self.viewSpace().document():
self._bar.setShowFinished(
success and not job.attributes.get(j).hidden
)
self._bar.stop()
if success:
metainfo.info(document).buildtime = j.elapsed_time()
app.viewSpaceCreated.connect(ProgressBar.instance)
|
