Fixes the rules and preferences menu

Author: zorkow

ts/a11y/explorer.ts

@@ -383,7 +383,6 @@ export function setA11yOption(document: HTMLDOCUMENT, option: string, value: str
     break;
   case 'locale':
     document.options.sre.locale = value;
-    document.options.a11y.locale = value;
     break;
   default:
     document.options.a11y[option] = value;

ts/a11y/semantic-enrich.ts

@@ -382,7 +382,7 @@ export function EnrichedMathDocumentMixin<N, T, D, B extends MathDocumentConstru
       sre: expandable({
         speech: 'none',                    // by default no speech is included
         locale: 'en',                      // switch the locale
-        domain: 'mathspeak',               // speech rules domain
+        domain: 'clearspeak',               // speech rules domain
         style: 'default',                  // speech rules style
         braille: 'nemeth',                 // TODO: Dummy switch for braille
       }),

ts/ui/menu/Menu.ts

@@ -146,7 +146,7 @@ export class Menu {
       speech: true,
       braille: true,
       brailleCode: 'nemeth',
-      speechRules: 'mathspeek-default'
+      speechRules: 'clearspeak-default'
     },
     jax: {
       CHTML: null,
@@ -507,11 +507,20 @@ export class Menu {
         this.a11yVar<boolean>('viewBraille'),
         this.a11yVar<boolean>('voicing'),
         this.a11yVar<string>('locale', locale => this.setLocale(locale)),
-        this.a11yVar<string>('speechRules', value => {
-          const [domain, style] = value.split('-');
-          this.document.options.sre.domain = domain;
-          this.document.options.sre.style = style;
-        }),
+        {
+          name: 'speechRules',
+          getter: () => {
+            return this.settings['speechRules'];
+          },
+          setter: (value: string) => {
+            const [domain, style] = value.split('-');
+            this.settings['speechRules'] = value;
+            this.document.options.sre.domain = domain;
+            this.document.options.sre.style = style;
+            this.rerender(STATE.COMPILED);
+            this.saveUserSettings();
+          }
+        },
         this.a11yVar<string> ('magnification'),
         this.a11yVar<string> ('magnify'),
         this.a11yVar<boolean>('treeColoring'),
@@ -840,7 +849,7 @@ export class Menu {
       options.linebreaks.inline = settings.breakInline;
       if (!settings.speechRules) {
         const sre = this.document.options.sre;
-        settings.speechRules = `${sre.domain || 'mathspeak'}-${sre.style || 'default'}`;
+        settings.speechRules = `${sre.domain || 'clearspeak'}-${sre.style || 'default'}`;
       }
     });
   }