From e78548ebae4ed7ceb8df8cc705496fae6918c0ab Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 20 Aug 2014 21:29:57 +0200 Subject: [PATCH] ltlcross: display formulas in blue instead of white So that people using white-background terminal can still read them... Reported by Joachim Klein. * src/bin/ltlcross.cc: Adjust. * NEWS: Mention it. --- NEWS | 5 +++++ src/bin/ltlcross.cc | 8 ++++---- 2 files changed, 9 insertions(+), 4 deletions(-) diff --git a/NEWS b/NEWS index 8afde42a5..2c6cd84ab 100644 --- a/NEWS +++ b/NEWS @@ -16,6 +16,11 @@ New in spot 1.2.4a (not yet released) - Fix a memory leak in the little-used conversion from transition-based alternating automata to tgba. - Fix a harmless uninitialized read in BuDDy. + - When writing to the terminal, ltlcross used to display each + formula in bright white, to make them stand out. It turns out + this was actually hiding the formulas for people using a + terminal with white background... This version displays formula + in bright blue instead. New in spot 1.2.4 (2014-05-15) diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc index 137def2ba..b776d02e9 100644 --- a/src/bin/ltlcross.cc +++ b/src/bin/ltlcross.cc @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2012, 2013 Laboratoire de Recherche et Développement -// de l'Epita (LRDE). +// Copyright (C) 2012, 2013, 2014 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // @@ -187,7 +187,7 @@ ARGMATCH_VERIFY(color_args, color_types); color_type color_opt = color_if_tty; const char* bright_red = "\033[01;31m"; -const char* bright_white = "\033[01;37m"; +const char* bright_blue = "\033[01;34m"; const char* bright_yellow = "\033[01;33m"; const char* reset_color = "\033[m"; @@ -1244,7 +1244,7 @@ namespace if (filename || linenum) std::cerr << " "; if (color_opt) - std::cerr << bright_white; + std::cerr << bright_blue; std::cerr << fstr << "\n"; if (color_opt) std::cerr << reset_color;