CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-11-08 07:51:43 +03:00
Code Issues Projects Releases Wiki Activity

Break lines in code Latex output

Browse Source
This commit is contained in:
Denis Merigoux 2023-09-21 13:30:30 +02:00
parent f9768c1813
commit 7971cb7651
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/literate/latex.ml
View File

@ -220,7 +220,7 @@ let code_block ~meta lang fmt (code, pos) =
Re.replace_string env_rex ~by:"" output
in
Format.fprintf fmt
{latex|\begin{Verbatim}[commandchars=\\\{\},numbers=left,firstnumber=%d,stepnumber=1,label={\hspace*{\fill}\texttt{%s}}%s]|latex}
{latex|\begin{Verbatim}[commandchars=\\\{\},numbers=left,firstnumber=%d,stepnumber=1,breaklines=true,label={\hspace*{\fill}\texttt{%s}}%s]|latex}
(Pos.get_start_line pos + 1)
(pre_latexify (Filename.basename (Pos.get_file pos)))
(if meta then ",numbersep=9mm" else "");