diff hgext/keyword.py @ 24066:afdf5f6ab37a

pager: set an attribute on ui indicating that a pager is active A subsequent patch will teach the color extension to do different things depending on whether a pager is active. This patch leaves a breadcrumb on the ui instance to allow it do that that.
author Gregory Szorc <gregory.szorc@gmail.com>
date Fri, 06 Feb 2015 12:07:56 -0800
parents b88278a308c6
children 26a1c617e047
line wrap: on
line diff