diff options
| author | Maxim Devaev <[email protected]> | 2021-08-17 15:01:04 +0300 |
|---|---|---|
| committer | Maxim Devaev <[email protected]> | 2021-08-17 15:01:04 +0300 |
| commit | 586c7d20778e1e30ea802f489a71c2d2dd0b18f6 (patch) | |
| tree | 4cfa698e07142f9cadef94fc3b24d5f510be5b82 /web/share/js/tools.js | |
| parent | b7cf7b4523c28bed43346bb593add7ff4bc993e1 (diff) | |
pikvm/pikvm#281: adjustable relative mouse sensitivity
Diffstat (limited to 'web/share/js/tools.js')
| -rw-r--r-- | web/share/js/tools.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/share/js/tools.js b/web/share/js/tools.js index 4bc5c90b..61ac3e1d 100644 --- a/web/share/js/tools.js +++ b/web/share/js/tools.js @@ -274,7 +274,7 @@ export var tools = new function() { return { "get": function(key, default_value) { let value = window.localStorage.getItem(key); - return (value !== null ? value : default_value); + return (value !== null ? value : `${default_value}`); }, "set": (key, value) => window.localStorage.setItem(key, value), |