hgext/pager.py
changeset 30742 d3e2d39b97ea
parent 30722 117e15c30e6c
child 30847 e12553cfd0a4
equal deleted inserted replaced
30741:fde9692a02c0 30742:d3e2d39b97ea
   122         def _runpager(self, pagercmd):
   122         def _runpager(self, pagercmd):
   123             _runpager(self, pagercmd)
   123             _runpager(self, pagercmd)
   124 
   124 
   125     ui.__class__ = pagerui
   125     ui.__class__ = pagerui
   126 
   126 
   127     # chg has its own pager implementation
       
   128     argv = sys.argv[:]
       
   129     if 'chgunix' in dispatch._earlygetopt(['--cmdserver'], argv):
       
   130         return
       
   131 
       
   132     def pagecmd(orig, ui, options, cmd, cmdfunc):
   127     def pagecmd(orig, ui, options, cmd, cmdfunc):
   133         p = ui.config("pager", "pager", encoding.environ.get("PAGER"))
   128         p = ui.config("pager", "pager", encoding.environ.get("PAGER"))
   134         usepager = False
   129         usepager = False
   135         always = util.parsebool(options['pager'])
   130         always = util.parsebool(options['pager'])
   136         auto = options['pager'] == 'auto'
   131         auto = options['pager'] == 'auto'