You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
That's what I get when run ocp-indent --help=plain on Fedora in gnome-terminal. (but the problem is probably, more general)
The problem is the pre function in IndentConfig
which generates a list of `P lines separated with `Noblank to emulate a pre-formated block. it also replaces leading spaces with \xa0 (Latin1 non-breakable space).
Which does not render correctly on UTF-8 terminals. It also seems quite unnecessay since the is support for 'Pre block in cmdliner. This below seem to fix the problem.
letpres= [`Pre s]
Let me know if you want a PR.
The text was updated successfully, but these errors were encountered:
That's what I get when run
ocp-indent --help=plain
on Fedora in gnome-terminal. (but the problem is probably, more general)The problem is the pre function in
IndentConfig
which generates a list of `P lines separated with `Noblank to emulate a pre-formated block. it also replaces leading spaces with
\xa0
(Latin1 non-breakable space).Which does not render correctly on UTF-8 terminals. It also seems quite unnecessay since the is support for 'Pre block in
cmdliner
. This below seem to fix the problem.Let me know if you want a PR.
The text was updated successfully, but these errors were encountered: