changeset 6456:db5324d3c257

Pager extension: switch it off if --debugger is set The pager is preventing the debugger prompt and much of the debugger output to be refreshed. Moreover the pager does not make sense when debugging line by line. (This supersedes the similar ui.debugflag patch. Disabling the pager for debug output doesn't make that much sense, as this is actually when the pager might be useful.)
author Gilles Moris <gilles.moris@free.fr>
date Thu, 03 Apr 2008 11:11:31 +0200
parents fb76d58f5fee
children 7ef281e78c64 8189e03adb44
files hgext/pager.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/hgext/pager.py	Thu Apr 03 10:49:42 2008 +0200
+++ b/hgext/pager.py	Thu Apr 03 11:11:31 2008 +0200
@@ -29,7 +29,7 @@
 
 def uisetup(ui):
     p = ui.config("pager", "pager", os.environ.get("PAGER"))
-    if p and sys.stdout.isatty() and not ui.debugflag:
+    if p and sys.stdout.isatty() and '--debugger' not in sys.argv:
         if ui.configbool('pager', 'quiet'):
             signal.signal(signal.SIGPIPE, signal.SIG_DFL)
         sys.stderr = sys.stdout = os.popen(p, "wb")