Fix change requests and general formatting improvements

2020-02-17 20:41:04 +01:00
parent e12e6731b2
commit f1fb59ec26
11 changed files with 74 additions and 74 deletions
@@ -1,8 +1,6 @@
 define(["inputManager", "layoutManager"], function (inputManager, layoutManager) {
    "use strict";

-    console.debug("keyboardnavigation");
-
    /**
     * Key name mapping.
     */
@@ -142,7 +140,7 @@ define(["inputManager", "layoutManager"], function (inputManager, layoutManager)
            }

            if (capture) {
-                console.debug("Disabling default event handling");
+                console.debug("disabling default event handling");
                e.preventDefault();
            }
        });