From fdae27e7eae3225be7143fd7216ce0ddafe7d8fd Mon Sep 17 00:00:00 2001
From: Daniel Imms <daimms@microsoft.com>
Date: Sun, 23 Jun 2019 13:11:25 -0700
Subject: [PATCH] Remove unused Platform.ts in webgl

---
 addons/xterm-addon-webgl/src/Platform.ts | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100644 addons/xterm-addon-webgl/src/Platform.ts

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);