From 3f35f5b7ba5c514b6f14b1a608efad95ac2ff6fb Mon Sep 17 00:00:00 2001
From: jahorton <jahorton@sil.org>
Date: Fri, 5 Jul 2019 10:14:29 +0700
Subject: [PATCH] Missed a couple of spots with the name changes.

---
 web/source/osk/bannerManager.ts | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/web/source/osk/bannerManager.ts b/web/source/osk/bannerManager.ts
index f3635d5a60..248abbac7e 100644
--- a/web/source/osk/bannerManager.ts
+++ b/web/source/osk/bannerManager.ts
@@ -7,9 +7,9 @@ namespace com.keyman.osk {
    * each field.
    */
   export interface BannerOptions {
-    persistentBanner?: boolean;
-    enablePredictions?: boolean;
-    enableCorrections?: boolean;
+    alwaysShow?: boolean;
+    mayPredict?: boolean;
+    mayCorrect?: boolean;
     imagePath?: string;
   }
 
@@ -58,9 +58,9 @@ namespace com.keyman.osk {
     private imagePath?: string = "";
 
     public static readonly DEFAULT_OPTIONS: BannerOptions = {
-      persistentBanner: false,
-      enablePredictions: true,
-      enableCorrections: true,
+      alwaysShow: false,
+      mayPredict: true,
+      mayCorrect: true,
       imagePath: ""
     }