elidowling.com / jj_tui
terminal user interface to jujutsu. Focused on speed and clarity
9
fork

Configure Feed

Select the types of activity you want to include in your feed.

repalce delete control char

Eli Dowling fe30b9b5 cba4adbf

+4
+4
jj_tui/lib/ansiReverse.ml
··· 158 158 |> Base.String.Search_pattern.replace_all 159 159 (Base.String.Search_pattern.create "\t") 160 160 ~with_:" " 161 + (*delete control char*) 162 + |> Base.String.Search_pattern.replace_all 163 + (Base.String.Search_pattern.create "\u{7f}") 164 + ~with_:" " 161 165 (*replace form feed with a symbol: https://codepoints.net/U+000C?lang=en*) 162 166 |> Base.String.Search_pattern.replace_all 163 167 (Base.String.Search_pattern.create " ")