From 12ca4020254dfa67fee589531db6c6c65d501c17 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 19 Feb 2016 14:10:29 +0100 Subject: [PATCH] provide "bold" style --- src/core/CCFormat.ml | 3 ++- src/core/CCFormat.mli | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/core/CCFormat.ml b/src/core/CCFormat.ml index 1ed6853d..5aab90db 100644 --- a/src/core/CCFormat.ml +++ b/src/core/CCFormat.ml @@ -197,7 +197,8 @@ let style_of_tag_ s = match String.trim s with | "magenta" -> [`FG `Magenta] | "cyan" -> [`FG `Cyan] | "white" -> [`FG `White] - | "Black" -> [`FG `Black] + | "bold" -> [`Bold] + | "Black" -> [`FG `Black; `Bold] | "Red" -> [`FG `Red; `Bold] | "Green" -> [`FG `Green; `Bold] | "Yellow" -> [`FG `Yellow; `Bold] diff --git a/src/core/CCFormat.mli b/src/core/CCFormat.mli index 4f7ee00f..caf22b4f 100644 --- a/src/core/CCFormat.mli +++ b/src/core/CCFormat.mli @@ -84,6 +84,7 @@ val map : ('a -> 'b) -> 'b printer -> 'a printer {- "magenta" } {- "cyan" } {- "white" } + {- "bold" bold font} {- "Black" bold black} {- "Red" bold red } {- "Green" bold green }