Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
MathML Font Settings doesn't (yet?) support SeaMonkey #27
IMHO the MathML Font Settings extension ought to support SeaMonkey.
The "Add-on Converter" site (see http://forums.mozillazine.org/viewtopic.php?f=40&t=2834855 and http://addonconverter.fotokraina.com/ ) might help, but I don't know if it will be enough.
See also https://developer.mozilla.org/en-US/Add-ons/SeaMonkey_2 about writing extensions for SeaMonkey (and the differences compared to Firefox and Thunderbird).
changed the title from
SeaMonkey isn't (yet?) supported
MathML Font Settings doesn't (yet?) support SeaMonkey
Oct 12, 2014
Thank you for the report. As I said in http://www.maths-informatique-jeux.com/blog/frederic/?post/2014/06/18/Mozilla-MathML-Add-ons, my initial hope was that the Add-on SDK would eventually provide a single interface to generate add-ons on all platforms, but I don't know MoCo's plan on that... So I guess the best way for now will be to rewrite add-ons specifically for Seamonkey :-(
In the particular case of MathML font settings, first there is a bug https://bugzilla.mozilla.org/show_bug.cgi?id=947654#c50 to make font-family directly configurable from Gecko config. If you need a temporary solution to configure the math font (without a special UI), you can just download
which is compatible with all Gecko platforms and modify the CSS stylesheet (https://github.com/fred-wang/Mathzilla/blob/master/mathml-fonts/MathML-fonts/resource/mathml.css) to hardcode the desired font-family on the <math> element, for example:
The repository https://github.com/fred-wang/MathFonts contains more examples and even WOFF fonts.
Some testing: the preference menu seems to work. The context menu does not appear, but sdk/context-menu is mentioned on https://bugzilla.mozilla.org/show_bug.cgi?id=1074341. Finally, I'll need to determine how addons like greasemonkey or adblock plus insert JS script into pages and make them communicate with the add-on script.
There is a bug https://bugzilla.mozilla.org/show_bug.cgi?id=1023661
@tonymec OK, so as I said on bug 1023661, you can build a custom version of the add-on:
Note: I tested with a trunk build of SeaMonkey.
I'm closing this issue, since it will be fixed in Gecko 38 (SeaMonkey 2.35):