From eb098d12e37ad6ffc76eca7534c69d0ab3c74588 Mon Sep 17 00:00:00 2001
From: Edmond Lee <edmond.inbox@gmail.com>
Date: Thu, 7 May 2020 17:32:31 +0000
Subject: [PATCH] remove compact-ligo-ide import and implementation

---
 gitlab-pages/website/package.json                |  3 +--
 .../website/src/theme/CodeBlock/index.js         | 16 ----------------
 2 files changed, 1 insertion(+), 18 deletions(-)

diff --git a/gitlab-pages/website/package.json b/gitlab-pages/website/package.json
index 75ac51078..0472bbba8 100644
--- a/gitlab-pages/website/package.json
+++ b/gitlab-pages/website/package.json
@@ -29,7 +29,6 @@
   },
   "dependencies": {
     "@docusaurus/plugin-sitemap": "^2.0.0-alpha.37",
-    "@ligo/syntax": "file:src/@ligo/syntax",
-    "@ligolang/compact-ligo-ide": "^3.0.3"
+    "@ligo/syntax": "file:src/@ligo/syntax"
   }
 }
\ No newline at end of file
diff --git a/gitlab-pages/website/src/theme/CodeBlock/index.js b/gitlab-pages/website/src/theme/CodeBlock/index.js
index f3e30283a..dd0cd92ed 100644
--- a/gitlab-pages/website/src/theme/CodeBlock/index.js
+++ b/gitlab-pages/website/src/theme/CodeBlock/index.js
@@ -8,7 +8,6 @@
 import React, { useEffect, useState, useRef } from 'react';
 import classnames from 'classnames';
 import Highlight, { defaultProps } from 'prism-react-renderer';
-import { CompactLigoIde } from '@ligolang/compact-ligo-ide';
 
 const { Prism } = require("prism-react-renderer");
 
@@ -140,21 +139,6 @@ export default ({ children, className: languageClassName, metastring }) => {
     };
   }, [button.current, target.current]);
 
-  // Compact Ligo IDE support - begin
-  if (languageClassName === 'language-compactLigoIde') {
-    const theme = isDarkTheme ? 'dark' : 'light';
-    const webIdeUrlRegex = /webIdeUrl=(.*)/;
-
-    if (metastring && webIdeUrlRegex.test(metastring)) {
-      const webIdeUrl = metastring.match(webIdeUrlRegex)[1];
-
-      return <CompactLigoIde webIdeUrl={webIdeUrl} theme={theme}>{children}</CompactLigoIde>
-    }
-
-    return <CompactLigoIde theme={theme}>{children}</CompactLigoIde>
-  }
-  // Compact Ligo IDE support -- end
-
   let language =
     languageClassName && languageClassName.replace(/language-/, '');