(DomainTransition|InfoFlow)AnalysisTab: add busy indicator when GUI could be unresponsive

Bring in line with other tabs.
This commit is contained in:
Chris PeBenito 2016-03-14 09:33:45 -04:00
parent 56b436fde6
commit c697009f24
2 changed files with 8 additions and 4 deletions
setoolsgui/apol

View File

@ -229,8 +229,10 @@ class DomainTransitionAnalysisTab(SEToolsWidget, QScrollArea):
self.thread.start()
def update_complete(self):
# update location of result display
self.raw_results.moveCursor(QTextCursor.Start)
if not self.busy.wasCanceled():
self.busy.setLabelText("Moving the raw result to top; GUI may be unresponsive")
self.busy.repaint()
self.raw_results.moveCursor(QTextCursor.Start)
self.busy.reset()

View File

@ -215,8 +215,10 @@ class InfoFlowAnalysisTab(SEToolsWidget, QScrollArea):
self.thread.start()
def update_complete(self):
# update location of result display
self.raw_results.moveCursor(QTextCursor.Start)
if not self.busy.wasCanceled():
self.busy.setLabelText("Moving the raw result to top; GUI may be unresponsive")
self.busy.repaint()
self.raw_results.moveCursor(QTextCursor.Start)
self.busy.reset()