From 07af76712eae9bbaef9247fe2335f4f3d701f40e Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Fri, 8 May 2020 21:21:59 +0100
Subject: [PATCH] Introduced \isabelletext{}.

---
 lh-misc/lh-listings.sty | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/lh-misc/lh-listings.sty b/lh-misc/lh-listings.sty
index faff9b2..c1f857b 100644
--- a/lh-misc/lh-listings.sty
+++ b/lh-misc/lh-listings.sty
@@ -185,6 +185,7 @@
   % 
 }%
 %% 
+\newcommand{\isabellefont}{\ttfamily}
 \IfFileExists{lh-listings-isar.sty}{\usepackage{lh-listings-isar}}
 
 \providecolor{isar}{named}{blue}
@@ -206,8 +207,10 @@
                 at (frame.north east) {Isabelle (Isar)};}
      ,listing options={
           style=isar
-          ,basicstyle=\lhdisplayfontsize\ttfamily
+          ,basicstyle=\lhdisplayfontsize\isabellefont
          ,mathescape
+         ,keepspaces
+         ,extendedchars
          ,#1
       }
   }%