From 191cd1e8d0d849978846b30699d74bf3a5443ac8 Mon Sep 17 00:00:00 2001
From: Felix Schindler <felix.schindler@wwu.de>
Date: Wed, 24 Sep 2014 21:33:18 +0200
Subject: [PATCH] [common.logging] updated default debug color and
documentation
---
dune/stuff/common/logging.hh | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/dune/stuff/common/logging.hh b/dune/stuff/common/logging.hh
index 845b336dd..9ea68288e 100644
--- a/dune/stuff/common/logging.hh
+++ b/dune/stuff/common/logging.hh
@@ -205,7 +205,7 @@ public:
}
static const std::string default_debug_color()
{
- return "lightgray";
+ return "darkgray";
}
static const std::string default_warning_color()
{
@@ -334,7 +334,8 @@ int main()
logger.warn() << "<- The 'warn' prefix left of this should be red!" << std::endl;
}
\endcode
- * \note Debug logging is only enabled if NDEBUG is not defined.
+ * \note Debug logging is only enabled if NDEBUG is not defined but you might still want to guard calls to
+ * logger.debug() for performance reasons.
*/
TimedLogging& TimedLogger();
--
GitLab