diff --git a/addons/xterm-addon-webgl/src/Platform.ts b/addons/xterm-addon-webgl/src/Platform.ts deleted file mode 100644 index 55a10b7f..00000000 --- a/addons/xterm-addon-webgl/src/Platform.ts +++ /dev/null @@ -1,10 +0,0 @@ -/** - * Copyright (c) 2016 The xterm.js authors. All rights reserved. - * @license MIT - */ - -const isNode = (typeof navigator === 'undefined') ? true : false; -const userAgent = (isNode) ? 'node' : navigator.userAgent; - -export const isFirefox = !!~userAgent.indexOf('Firefox'); -export const isSafari = /^((?!chrome|android).)*safari/i.test(userAgent);