Remove obsolete keyboard height flag

GboardThemes · Jan 16, 2024 · e31e7dc · e31e7dc
1 parent fc0e21f
commit e31e7dc
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/flags.json b/flags.json
@@ -1,5 +1,5 @@
 {
-  "time": "1703279086807",
+  "time": "1705418202551",
   "flags": [
     {
       "key": "general",
@@ -485,7 +485,8 @@
           "type2": "string"
         }
       ],
-      "file": "GBOARD_PREFERENCES"
+      "file": "GBOARD_PREFERENCES",
+      "visible": false
     }
   ]
 }