tweaks

2023-07-10 23:02:15 +02:00
parent 0dee582cd0
commit dbc56a19e9
3 changed files with 6 additions and 6 deletions
--- a/jsm/Settings.js
+++ b/jsm/Settings.js
@@ -9,7 +9,7 @@ let jsKeyRenamer = new Proxy({
  ["Entrée"]      : "Enter",
 }, {
  get(obj, keyName) {
-      return keyName in obj? obj[keyName] : keyName.toLowerCase()
+      return keyName in obj? obj[keyName] : keyName
  }
 })
 let friendyKeyRenamer = new Proxy({
@@ -23,7 +23,7 @@ let friendyKeyRenamer = new Proxy({
  ["Enter"]       : "Entrée",
 }, {
  get(obj, keyName) {
-      return keyName in obj? obj[keyName] : keyName.toUpperCase()
+      return keyName in obj? obj[keyName] : keyName
  }
 })