hgext/pager.py
changeset 24066 afdf5f6ab37a
parent 21281 bcddddcf0b54
child 24067 0baf41e02a4d
--- a/hgext/pager.py	Fri Feb 06 12:07:32 2015 -0800
+++ b/hgext/pager.py	Fri Feb 06 12:07:56 2015 -0800
@@ -149,6 +149,8 @@
                     usepager = True
                     break
 
+        setattr(ui, 'pageractive', usepager)
+
         if usepager:
             ui.setconfig('ui', 'formatted', ui.formatted(), 'pager')
             ui.setconfig('ui', 'interactive', False, 'pager')