provide "bold" style

This commit is contained in:
Simon Cruanes 2016-02-19 14:10:29 +01:00
parent b8beed4587
commit 12ca402025
2 changed files with 3 additions and 1 deletions

View file

@ -197,7 +197,8 @@ let style_of_tag_ s = match String.trim s with
| "magenta" -> [`FG `Magenta] | "magenta" -> [`FG `Magenta]
| "cyan" -> [`FG `Cyan] | "cyan" -> [`FG `Cyan]
| "white" -> [`FG `White] | "white" -> [`FG `White]
| "Black" -> [`FG `Black] | "bold" -> [`Bold]
| "Black" -> [`FG `Black; `Bold]
| "Red" -> [`FG `Red; `Bold] | "Red" -> [`FG `Red; `Bold]
| "Green" -> [`FG `Green; `Bold] | "Green" -> [`FG `Green; `Bold]
| "Yellow" -> [`FG `Yellow; `Bold] | "Yellow" -> [`FG `Yellow; `Bold]

View file

@ -84,6 +84,7 @@ val map : ('a -> 'b) -> 'b printer -> 'a printer
{- "magenta" } {- "magenta" }
{- "cyan" } {- "cyan" }
{- "white" } {- "white" }
{- "bold" bold font}
{- "Black" bold black} {- "Black" bold black}
{- "Red" bold red } {- "Red" bold red }
{- "Green" bold green } {- "Green" bold green }