diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 3 | ||||
| -rw-r--r-- | src/lem_interp/printing_functions.mli | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index a096b27b..a5cb96ff 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -402,6 +402,9 @@ let ppmode = ref Interp_ascii let set_interp_ppmode ppm = ppmode := ppm let disable_color = ref false + +let set_color_enabled on = disable_color := not on + let color bright code s = if !disable_color then s else sprintf "\x1b[%s3%dm%s\x1b[m" (if bright then "1;" else "") code s diff --git a/src/lem_interp/printing_functions.mli b/src/lem_interp/printing_functions.mli index f1a0cd4a..908d101d 100644 --- a/src/lem_interp/printing_functions.mli +++ b/src/lem_interp/printing_functions.mli @@ -26,6 +26,7 @@ type ppmode = | Interp_ascii | Interp_html val set_interp_ppmode : ppmode -> unit +val set_color_enabled : bool -> unit val red : string -> string val blue : string -> string |