2 Commits

Author	SHA1	Message	Date
Davide P. Cervone	f23cb8a6b2	Create list of locales from the localization data, and allow data to specify menu title. Update menu when new translations are added. Allow loading of third-party translation data by URL. Fix transaltion files to use addTranslation().	2013-04-07 11:44:58 -04:00
Davide P. Cervone	535c033e24	Handle HTML snippets better, and fix up messages in FontWarnings and v1.0-warning extensions. Fix French menu items and a few others (thanks Fred). Fix scale-all-math dialog.	2013-04-05 18:45:50 -04:00