remove setting

Author: neverRare

dist/index.html

@@ -133,8 +133,6 @@ <h1>
           Allow X ala X partial parsing</label>
         <label><input type="checkbox" id="separate-repeated-modifiers" />
           Allow separate repeated modifiers</label>
-        <label><input type="checkbox" id="hardcoded-anu-la" checked />
-          Use hardcoded "anu la" translation</label>
       </details>
       <div>
         <button id="reset-button">Reset to default</button>

src/settings.ts

@@ -9,7 +9,6 @@ export type Settings = {
   tense: Redundancy;
   xAlaXPartialParsing: boolean;
   separateRepeatedModifiers: boolean;
-  hardcodedAnuLa: boolean;
 };
 // the default value may change, also change `index.html`
 export const defaultSettings: Readonly<Settings> = Object.freeze({
@@ -20,7 +19,6 @@ export const defaultSettings: Readonly<Settings> = Object.freeze({
   tense: "both",
   xAlaXPartialParsing: false,
   separateRepeatedModifiers: false,
-  hardcodedAnuLa: true,
 });
 // this global constant is mutable
 export const settings: Settings = Object.seal({ ...defaultSettings });

src/settings_frontend.ts

@@ -46,7 +46,6 @@ const UPDATERS: Readonly<{ [K in keyof Settings]: Updater<Settings[K]> }> = {
   tense: REDUNDANCY_UPDATER,
   xAlaXPartialParsing: BOOL_UPDATER,
   separateRepeatedModifiers: BOOL_UPDATER,
-  hardcodedAnuLa: BOOL_UPDATER,
 };
 const KEYS = Object.keys(UPDATERS) as ReadonlyArray<keyof Settings>;