##// 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 149 usepager = True
150 150 break
151 151
152 setattr(ui, 'pageractive', usepager)
153
152 154 if usepager:
153 155 ui.setconfig('ui', 'formatted', ui.formatted(), 'pager')
154 156 ui.setconfig('ui', 'interactive', False, 'pager')
General Comments 0
You need to be logged in to leave comments. Login now