This is an archive of the discontinued Mercurial Phabricator instance.

pager: do not start pager if `ui` has been `pushbuffer`-ed
ClosedPublic

Authored by quark on Aug 30 2017, 5:33 PM.

Details

Summary

The pushbuffer, popbuffer APIs are intended to capture internal output.
They will prevent ui.write from writing to the actual ui.fout. So a
pager won't receive the output and do the right thing. In general, it does
not make sense to start a pager if ui is in the "pushbuffer" mode.

Diff Detail

Repository
rHG Mercurial
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

quark created this revision.Aug 30 2017, 5:33 PM

Makes sense, but how did you even notice this? I would have thought that we start the pager at a pretty high level, before pushbuffer would normally be called.

This revision was automatically updated to reflect the committed changes.