balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

remove compact-ligo-ide import and implementation

Browse Source
This commit is contained in:
Edmond Lee 2020-05-07 17:32:31 +00:00 committed by Jev Björsell
parent 19866476d7
commit eb098d12e3
2 changed files with 1 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gitlab-pages/website/package.json
View File

@ -29,7 +29,6 @@
}, },
"dependencies": { "dependencies": {
"@docusaurus/plugin-sitemap": "^2.0.0-alpha.37", "@docusaurus/plugin-sitemap": "^2.0.0-alpha.37",
"@ligo/syntax": "file:src/@ligo/syntax", "@ligo/syntax": "file:src/@ligo/syntax"
"@ligolang/compact-ligo-ide": "^3.0.3"
} }
} }

16
gitlab-pages/website/src/theme/CodeBlock/index.js
View File

@ -8,7 +8,6 @@
import React, { useEffect, useState, useRef } from 'react'; import React, { useEffect, useState, useRef } from 'react';
import classnames from 'classnames'; import classnames from 'classnames';
import Highlight, { defaultProps } from 'prism-react-renderer'; import Highlight, { defaultProps } from 'prism-react-renderer';
import { CompactLigoIde } from '@ligolang/compact-ligo-ide';
const { Prism } = require("prism-react-renderer"); const { Prism } = require("prism-react-renderer");
@ -140,21 +139,6 @@ export default ({ children, className: languageClassName, metastring }) => {
}; };
}, [button.current, target.current]); }, [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 = let language =
languageClassName && languageClassName.replace(/language-/, ''); languageClassName && languageClassName.replace(/language-/, '');