##// END OF EJS Templates
ui: rerun color.setup() once the pager has spawned to honor 'color.pagermode'...
Matt Harbison -
r31691:c3ca0ad8 default
parent child Browse files
Show More
@@ -867,6 +867,12 b' class ui(object):'
867 867 # auto-detection of things being formatted.
868 868 self.setconfig('ui', 'formatted', wasformatted, 'pager')
869 869 self.setconfig('ui', 'interactive', False, 'pager')
870
871 # If pagermode differs from color.mode, reconfigure color now that
872 # pageractive is set.
873 cm = self._colormode
874 if cm != self.config('color', 'pagermode', cm):
875 color.setup(self)
870 876 else:
871 877 # If the pager can't be spawned in dispatch when --pager=on is
872 878 # given, don't try again when the command runs, to avoid a duplicate
General Comments 0
You need to be logged in to leave comments. Login now