suzanne.soy/scribble-mathjax
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Handle arrowheads better when thickness is specified

Browse Source
This commit is contained in:
Davide P. Cervone 2011-10-25 23:25:22 -04:00
parent 48a018ac2e
commit 69301a2743
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
jax/output/HTML-CSS/autoload/menclose.js
View File

File diff suppressed because one or more lines are too long

10
unpacked/jax/output/HTML-CSS/autoload/menclose.js
View File

@ -37,8 +37,8 @@ MathJax.Hub.Register.StartupHook("HTML-CSS Jax Ready",function () {
if (values.thickness == null) {values.thickness = ".075em"} if (values.thickness == null) {values.thickness = ".075em"}
if (values.padding == null) {values.padding = ".2em"} if (values.padding == null) {values.padding = ".2em"}
var mu = this.HTMLgetMu(span), scale = this.HTMLgetScale(); var mu = this.HTMLgetMu(span), scale = this.HTMLgetScale();
var p = HTMLCSS.length2em(values.padding,mu) * scale; var p = HTMLCSS.length2em(values.padding,mu,1/HTMLCSS.em) * scale;
var t = HTMLCSS.length2em(values.thickness,mu) * scale; var t = HTMLCSS.length2em(values.thickness,mu,1/HTMLCSS.em) * scale;
var SOLID = HTMLCSS.Em(t)+" solid"; var SOLID = HTMLCSS.Em(t)+" solid";
span = this.HTMLcreateSpan(span); span = this.HTMLcreateSpan(span);
@ -137,9 +137,9 @@ MathJax.Hub.Register.StartupHook("HTML-CSS Jax Ready",function () {
} else { } else {
if (!svg) {svg = this.HTMLsvg(stack,H,D,W,t,values.mathcolor)} if (!svg) {svg = this.HTMLsvg(stack,H,D,W,t,values.mathcolor)}
if (this.arrow) { if (this.arrow) {
var l = Math.sqrt(W*W + (H+D)*(H+D)); var l = Math.sqrt(W*W + (H+D)*(H+D)), f = 1/l * 10*scale/HTMLCSS.em * t/.075;
w = W/l * 10*scale/HTMLCSS.em, h = (H+D)/l * 10*scale/HTMLCSS.em; w = W * f; h = (H+D) * f; var x = W - t/2, y = t/2;
var x = W - t/2, y = t/2; if (y+h-.4*w < 0) {y = .4*w-h} if (y+h-.4*w < 0) {y = .4*w-h}
this.HTMLsvgElement(svg.firstChild,"line",{ this.HTMLsvgElement(svg.firstChild,"line",{
x1:1, y1:this.HTMLpx(H+D-t), x2:this.HTMLpx(x-.7*w), y2:this.HTMLpx(y+.7*h) x1:1, y1:this.HTMLpx(H+D-t), x2:this.HTMLpx(x-.7*w), y2:this.HTMLpx(y+.7*h)
}); });