|
From: | Paolo Prete |
Subject: | Re: box-stencil (was: Drawing boxes around grobs) |
Date: | Mon, 24 Feb 2020 17:47:02 +0100 |
This is pretty weird. It happens if I produce a SVG output and open it with Chrome/Chromium-browser...(no problem with Firefox)
[Prev in Thread] | Current Thread | [Next in Thread] |