Fix default mark (#8454)

This commit is contained in:
Juergen Spitzmueller 2020-08-17 13:45:44 +02:00
parent cc55ae34f0
commit 71c1931b92
2 changed files with 4 additions and 6 deletions

View File

@ -21915,6 +21915,8 @@ ResetsFont
status collapsed
\begin_layout Plain Layout
\emph on
0
\end_layout
@ -21929,8 +21931,6 @@ status collapsed
status collapsed
\begin_layout Plain Layout
\emph on
1
\end_layout

View File

@ -19523,6 +19523,8 @@ ResetsFont
status collapsed
\begin_layout Plain Layout
\emph on
0
\end_layout
@ -19537,8 +19539,6 @@ status collapsed
status collapsed
\begin_layout Plain Layout
\emph on
1
\end_layout
@ -19551,8 +19551,6 @@ status collapsed
status collapsed
\begin_layout Plain Layout
\emph on
0
\end_layout