diff options
Diffstat (limited to 'extension/src/util')
| -rw-r--r-- | extension/src/util/util.ts | 29 | 
1 files changed, 29 insertions, 0 deletions
| diff --git a/extension/src/util/util.ts b/extension/src/util/util.ts index d33593e1..dfc10c90 100644 --- a/extension/src/util/util.ts +++ b/extension/src/util/util.ts @@ -1,5 +1,6 @@  import { RangeInFile, SerializedDebugContext } from "../client";  import * as fs from "fs"; +const os = require("os");  function charIsEscapedAtIndex(index: number, str: string): boolean {    if (index === 0) return false; @@ -113,3 +114,31 @@ export function debounced(delay: number, fn: Function) {      }, delay);    };  } + +type Platform = "mac" | "linux" | "windows" | "unknown"; + +function getPlatform(): Platform { +  const platform = os.platform(); +  if (platform === "darwin") { +    return "mac"; +  } else if (platform === "linux") { +    return "linux"; +  } else if (platform === "win32") { +    return "windows"; +  } else { +    return "unknown"; +  } +} + +export function getMetaKeyLabel() { +  const platform = getPlatform(); +  switch (platform) { +    case "mac": +      return "⌘"; +    case "linux": +    case "windows": +      return "^"; +    default: +      return "⌘"; +  } +} | 
