removed old hidden "virtual keyboard" setting

HISTORY.md

@@ -36,6 +36,7 @@
     * blocked xhr requests to from Snap! to s.b.e
     * the "message" reporter and watcher in the control category has been deprecated and moved to dev mode for backwards compatibility
     * removed old hidden "prefer smooth animations" setting (no longer used, old projects will continue to work just fine)
+    * removed old hidden "virtual keyboard" setting
 * **Notable Fixes:**
     * made scrollbars in the wardrobe and jukebox more responsive
     * fixed centering of menus, thanks, Brian Broll!
@@ -62,6 +63,7 @@
 * gui: made "Hyper blocks support" setting hidden in the gears menu
 * gui, objects, threads, store, translations: Removed old hidden "prefer smooth animations" setting
 * gui: removed experimental hidden "add scenes" option from the settings menus
+* gui, translations: removed old hidden "virtual keyboard" setting
 
 ### 2021-11-14
 * locale: contextualize translations

locale/lang-de.js

@@ -1077,14 +1077,6 @@ SnapTranslator.dict.de = {
         'einschalten, um immer die Datentypen\nim Input-Dialog zu sehen',
     'uncheck to use the input\ndialog in short form':
         'ausschalten f\u00fcr kurzen\nInput-Dialog',
-    'Virtual keyboard':
-        'Virtuelle Tastatur',
-    'uncheck to disable\nvirtual keyboard support\nfor mobile devices':
-        'ausschalten um die virtuelle\nTastatur auf mobilen Ger\u00e4ten\n'
-            + 'zu sperren',
-    'check to enable\nvirtual keyboard support\nfor mobile devices':
-        'einschalten um die virtuelle\nTastatur auf mobilen Ger\u00e4ten\n'
-            + 'zu erm\u00f6glichen',
     'JavaScript extensions':
         'JavaScript Erweiterungen',
     'check to support\nnative JavaScript functions':

src/gui.js

@@ -3939,14 +3939,6 @@ IDE_Morph.prototype.settingsMenu = function () {
         'uncheck to always show (+) symbols\nin block prototype labels',
         'check to hide (+) symbols\nin block prototype labels'
     );
-    addPreference(
-        'Virtual keyboard',
-        'toggleVirtualKeyboard',
-        MorphicPreferences.useVirtualKeyboard,
-        'uncheck to disable\nvirtual keyboard support\nfor mobile devices',
-        'check to enable\nvirtual keyboard support\nfor mobile devices',
-        true
-    );
     addPreference(
         'Clicking sound',
         () => {
@@ -6122,11 +6114,6 @@ IDE_Morph.prototype.togglePreferEmptySlotDrops = function () {
         !ScriptsMorph.prototype.isPreferringEmptySlots;
 };
 
-IDE_Morph.prototype.toggleVirtualKeyboard = function () {
-    MorphicPreferences.useVirtualKeyboard =
-        !MorphicPreferences.useVirtualKeyboard;
-};
-
 IDE_Morph.prototype.toggleInputSliders = function () {
     MorphicPreferences.useSliderForInput =
         !MorphicPreferences.useSliderForInput;