parenthesizing very small objects returns ugly output

Issue 3930

Makes the thickness in make-parenthesis-stencil variable

diff --git a/scm/stencil.scm b/scm/stencil.scm
index f994b10c5c1bbe78e205f35bd52e1d7c2cda7e18..db5ff186c37d659a863e9cb0d77e65a0d764c61d 100644 (file)
--- a/scm/stencil.scm
+++ b/scm/stencil.scm
@@ -159,7 +159,7 @@ the more angular the shape of the parenthesis."
       upper-end-point
       ;; Step 1: move to lower end point.
       lower-end-point)
-     line-width
+     (* 2 half-thickness)
      (interval-widen x-extent (/ line-width 2))
      (interval-widen y-extent (/ line-width 2)))))