From 3d24765bf008b6b7c4442e3648af75e6517c48f9 Mon Sep 17 00:00:00 2001 From: Darcy Shen Date: Sun, 24 Nov 2024 15:55:52 +0800 Subject: [PATCH] [39_15] Set tt-session-font to typewriter=CMU,roman --- TeXmacs/styles/documentation/texmacs/tmdoc.ts | 2 +- TeXmacs/styles/documentation/texmacs/tmmanual.ts | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/TeXmacs/styles/documentation/texmacs/tmdoc.ts b/TeXmacs/styles/documentation/texmacs/tmdoc.ts index 7f44a6c92a..d254f03e69 100644 --- a/TeXmacs/styles/documentation/texmacs/tmdoc.ts +++ b/TeXmacs/styles/documentation/texmacs/tmdoc.ts @@ -108,7 +108,7 @@ >>> - >>> + >>> \; diff --git a/TeXmacs/styles/documentation/texmacs/tmmanual.ts b/TeXmacs/styles/documentation/texmacs/tmmanual.ts index b8f826daae..2495344315 100644 --- a/TeXmacs/styles/documentation/texmacs/tmmanual.ts +++ b/TeXmacs/styles/documentation/texmacs/tmmanual.ts @@ -120,7 +120,7 @@ >>> - >>> + >>> \;