##// END OF EJS Templates
pager: set an attribute on ui indicating that a pager is active...
Gregory Szorc -
r24066:afdf5f6a default
parent child Browse files
Show More
@@ -149,6 +149,8 b' def uisetup(ui):'
149 usepager = True
149 usepager = True
150 break
150 break
151
151
152 setattr(ui, 'pageractive', usepager)
153
152 if usepager:
154 if usepager:
153 ui.setconfig('ui', 'formatted', ui.formatted(), 'pager')
155 ui.setconfig('ui', 'formatted', ui.formatted(), 'pager')
154 ui.setconfig('ui', 'interactive', False, 'pager')
156 ui.setconfig('ui', 'interactive', False, 'pager')
General Comments 0
You need to be logged in to leave comments. Login now