Improve output pane, as discussed in #12372

* The image scale param is shared by XHTML and DocBook
* It does not only apply to math
* Get rid of redundant group headers (#12902)

(cherry picked from commit 1429552063)
This commit is contained in:
Juergen Spitzmueller 2024-08-18 18:18:07 +02:00
parent b21f104b37
commit a46fb46633
3 changed files with 566 additions and 500 deletions

View File

@ -9611,12 +9611,14 @@ Verbatim
\end_layout
\begin_layout Verbatim
This is Verbatim.
\end_layout
\begin_layout Verbatim
\noindent
\align block
The following 2 lines are empty:
\end_layout
@ -9629,6 +9631,7 @@ The following 2 lines are empty:
\end_layout
\begin_layout Verbatim
Almost everything is allowed in Verbatim:"%&$§#~'`
\backslash
}][{|
@ -9652,6 +9655,7 @@ Verbatim
\end_layout
\begin_layout Verbatim*
This is Verbatim*.
\end_layout
@ -52602,19 +52606,6 @@ Additional
Features
\emph default
manual.
\family sans
Math
\begin_inset space ~
\end_inset
image
\begin_inset space ~
\end_inset
scaling
\family default
is used for the size of equations in the output.
\end_layout
\begin_layout Description
@ -52641,7 +52632,40 @@ Additional Features
\end_layout
\begin_layout Description
.
\family sans
Scaling
\begin_inset space ~
\end_inset
of
\begin_inset space ~
\end_inset
generated
\begin_inset space ~
\end_inset
images
\family default
is the scaling factor used for images that are generated to represent some \SpecialChar LaTeX
constructs (e.
\begin_inset space \thinspace{}
\end_inset
g.,
math,
linguistics structure trees) in non-\SpecialChar LaTeX
output (XHTML,
DocBook) graphically.
The factor multiplies with 72
\begin_inset space \thinspace{}
\end_inset
dpi.
The higher the value,
thus,
the better the image quality (and the bigger the file size).
\end_layout
\begin_layout Description

View File

@ -51561,7 +51561,6 @@ Mathe-Ausgabe in XHTML
Handbuchergänzungen
\emph default
beschrieben.
Die Skalierung wird für die Größe von Gleichungen in der Ausgabe verwendet.
\end_layout
\begin_layout Description
@ -51573,6 +51572,32 @@ DocBook-Ausgabe
in den Handbuchergänzungen.
\end_layout
\begin_layout Description
Skalierung
\begin_inset space ~
\end_inset
generierter
\begin_inset space ~
\end_inset
Grafiken ist ein Faktor,
der bestimmt,
in welcher Auflösung Grafiken erzeugt werden,
sie in einigen Nicht-\SpecialChar LaTeX
-Ausgaben verwendet werden,
um bestimmte \SpecialChar LaTeX
-Konstrukte (bspw.
mathematische Formeln oder linguistische Strukturbäume) grafisch darzustellen.
Der Faktor wird mit 72
\begin_inset space \thinspace{}
\end_inset
dpi multipliziert.
Je größer der Wert,
desto besser also die Qualität der Grafiken (desto größer aber auch die Datei).
\end_layout
\begin_layout Description
Erlaube
\begin_inset space ~

File diff suppressed because it is too large Load Diff