commit 24b57ec75e26f937326a7e44109bf98a60757755 parent 8b4176fc1c7e6cf670d1c758f8a5a513ed51ffc0 Author: Davide P. Cervone <dpvc@union.edu> Date: Tue, 18 Mar 2014 12:17:56 -0400 Fix problem with not having all borders specified. Diffstat:
| M | unpacked/jax/output/SVG/jax.js | | | 4 | ++-- |
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js @@ -1168,8 +1168,8 @@ // // Adjust size by padding and dashed borders (left is taken care of above) // - if (padding) {svg.w += padding.right; svg.h += padding.top; svg.d += padding.bottom} - if (borders) {svg.w += borders.right; svg.h += borders.top; svg.d += borders.bottom} + if (padding) {svg.w += padding.right||0; svg.h += padding.top||0; svg.d += padding.bottom||0} + if (borders) {svg.w += borders.right||0; svg.h += borders.top||0; svg.d += borders.bottom||0} // // Add background color //