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')