##// END OF EJS Templates
pager: do not special case chg...
Jun Wu -
r30742:d3e2d39b default
parent child Browse files
Show More
@@ -124,11 +124,6 b' def uisetup(ui):'
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
General Comments 0
You need to be logged in to leave comments. Login now