* src/DisplayState.py: add standard function for using WATCH cursor
* src/PageView.py: enable watch cursor when it is necessary to rebuild a page. svn: r5866
This commit is contained in:
@ -54,7 +54,9 @@ class PageView:
|
||||
def set_active(self):
|
||||
self.active = True
|
||||
if self.dirty:
|
||||
self.uistate.set_busy_cursor(True)
|
||||
self.build_tree()
|
||||
self.uistate.set_busy_cursor(False)
|
||||
|
||||
def set_inactive(self):
|
||||
self.active = False
|
||||
|
Reference in New Issue
Block a user