Text Formatting ⇒ line spacing

[Jan Borowiec]

Hi,
The program:

Code: Select all

\documentclass[12pt,a4paper]{book}
\usepackage{xcolor}
\usepackage{lipsum}
\usepackage{setspace}
\renewcommand{\baselinestretch}{1.5}

\begin{document}
\lipsum[1]
{\setstretch{0.5}\color{blue}
\lipsum[2]
}
\lipsum[3]
\end{document}

gives under Ubuntu 18.04 a correct - expected result, while under Linux Mint 20 Uliana the spacing between lines remains unchanged. Unfortunately I'm working under Mint. what could i do to get around this? Thank you for an advice.
Greatings Jan Borowiec

[Stefan Kottwitz]

Hi Jan,

I don't have both operating systems here. Can you perhaps post the two different PDFs as attachment here, and both .log files too?

Stefan