diff options
Diffstat (limited to 'lib/text.ml')
-rw-r--r-- | lib/text.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/text.ml b/lib/text.ml index ff1f727..218f5e1 100644 --- a/lib/text.ml +++ b/lib/text.ml | |||
@@ -8,3 +8,12 @@ let center ~fill n text = | |||
8 | take (take padding len_p @ text @ padding) n | 8 | take (take padding len_p @ text @ padding) n |
9 | 9 | ||
10 | let extend ~fill n text = take (text @ repeat fill) n | 10 | let extend ~fill n text = take (text @ repeat fill) n |
11 | |||
12 | let spread ?(l = empty) ?(lsize = length l) ?(c = empty) ?(csize = length c) | ||
13 | ?(r = empty) ?(rsize = length r) ~fill w = | ||
14 | let lpad = take (repeat fill) ((w / 2) - lsize - (csize / 2) - 1) in | ||
15 | let rpad = take (repeat fill) ((w / 2) - rsize - (csize / 2)) in | ||
16 | l @ lpad @ c @ rpad @ r | ||
17 | |||
18 | let invert text = Terminal.(fmt_inverted_on @ text @ fmt_inverted_off) | ||
19 | let bold text = Terminal.(fmt_bold_on @ text @ fmt_bold_off) | ||