Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Double-Click zoom trigger no longer works #590
Setting the zoom trigger to Double-Click no longer works. This is due to the localization changes, which now stores the localization key rather than the translation as the menu setting value. So the check for trigger name in MathMenu.js should be for DoubleClick rather than Double-Click.
That is easily fixed, but if a page author has set the