https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
Helder he7...@gmail.com changed:
What|Removed |Added
See Also||https://bugzilla.wikimedia.
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
physikerwelt phy...@ckurs.de changed:
What|Removed |Added
Status|NEW |RESOLVED
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
--- Comment #7 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Change 64527 abandoned by TheDJ:
Math: Add the font selector to MathJax menu
Reason:
Dropping this change, i'm not a big fan of it myself.
People who want stix fonts
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
--- Comment #6 from Gerrit Notification Bot gerritad...@wikimedia.org ---
Related URL: https://gerrit.wikimedia.org/r/64527 (Gerrit Change
I18d9ad32ef011ef8a361ed0c6b54e3c62a234491)
--
You are receiving this mail because:
You are the assignee
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
Peter Krautzberger peter.krautzber...@mathjax.org changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Priority|Unprioritized |Low
--
You are
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
Erwin Dokter er...@darcoury.nl changed:
What|Removed |Added
CC||er...@darcoury.nl
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
mybugs.m...@gmail.com changed:
What|Removed |Added
Blocks||36496
--
Configure bugmail:
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
nageh mal.mal...@gmail.com changed:
What|Removed |Added
CC||mal.mal...@gmail.com
---
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
--- Comment #2 from Derk-Jan Hartman hart...@videolan.org 2012-04-01 11:53:57
UTC ---
The TeX webfonts seem present yes, but it does not seem the StiX fonts are
installed. I believe MathJax does not provide them by default as webfonts,
because
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
Sam Reed (reedy) s...@reedyboy.net changed:
What|Removed |Added
Severity|normal |enhancement
--
https://bugzilla.wikimedia.org/show_bug.cgi?id=35498
--- Comment #1 from Brion Vibber br...@wikimedia.org 2012-03-26 20:08:37 UTC
---
The webfonts are present and already managed by the extension. (What we didn't
include are the so-called image fonts, which is a butt-ton of PNG images at
fixed
12 matches
Mail list logo