diff options
| author | Maxim Devaev <[email protected]> | 2022-08-22 18:41:02 +0300 |
|---|---|---|
| committer | Maxim Devaev <[email protected]> | 2022-08-22 18:41:02 +0300 |
| commit | 766e5151788655542d8a9f0bb74889d249c0a016 (patch) | |
| tree | 55727598a8b25c03e50c929dbbaa905c425f2869 /web/share/js/tools.js | |
| parent | 7bd690b4db5a2f075c2b13432a983dad8fc86622 (diff) | |
pikvm/pikvm#375: fixed AltGr handling
Diffstat (limited to 'web/share/js/tools.js')
| -rw-r--r-- | web/share/js/tools.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/web/share/js/tools.js b/web/share/js/tools.js index 49a3f8c8..9fc6384c 100644 --- a/web/share/js/tools.js +++ b/web/share/js/tools.js @@ -388,6 +388,9 @@ export var tools = new function() { || "Unknown" ).indexOf("Mac") !== -1); + // Any Windows + let is_win = (navigator && !!(/win/i).exec(navigator.platform)); + return { "is_opera": is_opera, "is_firefox": is_firefox, @@ -396,6 +399,7 @@ export var tools = new function() { "is_blink": is_blink, "is_ios": is_ios, "is_mac": is_mac, + "is_win": is_win, }; }; self.info("Browser:", self.browser); |