##// END OF EJS Templates
pager: set ui.formatted() prior to redirecting stdout.
Dan Villiom Podlaski Christiansen -
r11328:d357d147 default
parent child Browse files
Show More
@@ -84,6 +84,7 b' def uisetup(ui):'
84 attend = ui.configlist('pager', 'attend', attended)
84 attend = ui.configlist('pager', 'attend', attended)
85 if (cmd in attend or
85 if (cmd in attend or
86 (cmd not in ui.configlist('pager', 'ignore') and not attend)):
86 (cmd not in ui.configlist('pager', 'ignore') and not attend)):
87 ui.setconfig('ui', 'formatted', ui.formatted())
87 ui.setconfig('ui', 'interactive', False)
88 ui.setconfig('ui', 'interactive', False)
88 _runpager(p)
89 _runpager(p)
89 if ui.configbool('pager', 'quiet'):
90 if ui.configbool('pager', 'quiet'):
General Comments 0
You need to be logged in to leave comments. Login now