##// END OF EJS Templates
pager: wrap ui._runpager...
Jun Wu -
r30722:117e15c3 default
parent child Browse files
Show More
@@ -118,6 +118,12 b' def uisetup(ui):'
118 if '--debugger' in sys.argv or not ui.formatted():
118 if '--debugger' in sys.argv or not ui.formatted():
119 return
119 return
120
120
121 class pagerui(ui.__class__):
122 def _runpager(self, pagercmd):
123 _runpager(self, pagercmd)
124
125 ui.__class__ = pagerui
126
121 # chg has its own pager implementation
127 # chg has its own pager implementation
122 argv = sys.argv[:]
128 argv = sys.argv[:]
123 if 'chgunix' in dispatch._earlygetopt(['--cmdserver'], argv):
129 if 'chgunix' in dispatch._earlygetopt(['--cmdserver'], argv):
@@ -157,7 +163,7 b' def uisetup(ui):'
157 ui.setconfig('ui', 'interactive', False, 'pager')
163 ui.setconfig('ui', 'interactive', False, 'pager')
158 if util.safehasattr(signal, "SIGPIPE"):
164 if util.safehasattr(signal, "SIGPIPE"):
159 signal.signal(signal.SIGPIPE, signal.SIG_DFL)
165 signal.signal(signal.SIGPIPE, signal.SIG_DFL)
160 _runpager(ui, p)
166 ui._runpager(p)
161 return orig(ui, options, cmd, cmdfunc)
167 return orig(ui, options, cmd, cmdfunc)
162
168
163 # Wrap dispatch._runcommand after color is loaded so color can see
169 # Wrap dispatch._runcommand after color is loaded so color can see
General Comments 0
You need to be logged in to leave comments. Login now