changed: -I get: - I then get \begin{verbatim} added: \end{verbatim}
If somebody could fix this quickly, (s)he'd make me very happy:
In a fresh session:
close the graphics window, then
I then get
But nothing happens...