Support automatic line breaks for bash environment.

2019-08-04 13:26:20 +01:00 · 2019-08-04 13:26:20 +01:00 · 657d9376b2
parent a7418304ed
commit 657d9376b2
1 changed files with 3 additions and 1 deletions
--- a/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/lstisadof-manual.sty
@ -376,7 +376,9 @@
     ,listing options={
           style=bash
           ,columns=flexible%
-           ,basicstyle=\small\ttfamily
+           ,breaklines=true%
+           ,prebreak=\mbox{\space\textbackslash}%
+           ,basicstyle=\small\ttfamily%
           ,#1
      }
  }%