もし日本語キーボード以外を使っていて表示を以前と同じ様にしたいときはuser.jsのsystemに以下を追記してください
```
"system": {
"key.mousetrap_mapping": {
"106": '*',
"107": '+',
"109": '-',
"110": '.',
"111" : '/',
"186": ';',
"187": '=',
"188": ',',
"189": '-',
"190": '.',
"191": '/',
"192": '`',
"219": '[',
"220": '\\',
"221": ']',
"222": '\''
}
```