Recent versions of Chrome on OSX are known to display the never-followed-by invariant arrows weirdly, while other setups like Linux/Chrome or OSX/Safari don't have the issue. To fix, we simply need to force the font for only the arrows to be something besides Helvetica, and DejaVu Sans specifically seems to fix the problem.
Image of the issue:
[Issue created by stanleyrya: 2016-04-25]
[Last updated on bitbucket: 2016-05-11]
[Comment created by wborkofsky: 2016-05-06]
@stanleyrya
Solution in revision 1b54f15, please review.
[Comment created by stanleyrya: 2016-05-11]
Looks good to me!
[Comment created by ohmann: 2016-05-11]
Merge. Resolved issue 115
→ <>
[Comment created by ohmann: 2016-05-10]
@stanleyrya, when you get the chance, can you verify that the fix worked? I can't test it. :) Thanks!
Recent versions of Chrome on OSX are known to display the never-followed-by invariant arrows weirdly, while other setups like Linux/Chrome or OSX/Safari don't have the issue. To fix, we simply need to force the font for only the arrows to be something besides Helvetica, and DejaVu Sans specifically seems to fix the problem.
Image of the issue:
[Issue created by stanleyrya: 2016-04-25] [Last updated on bitbucket: 2016-05-11]
[Comment created by wborkofsky: 2016-05-06] @stanleyrya
Solution in revision 1b54f15, please review.
[Comment created by stanleyrya: 2016-05-11] Looks good to me!
[Comment created by ohmann: 2016-05-11] Merge. Resolved issue 115
→ <>
[Comment created by ohmann: 2016-05-10] @stanleyrya, when you get the chance, can you verify that the fix worked? I can't test it. :) Thanks!