remove showControls from website code and vscode ext

This commit is contained in:
Vyacheslav Matyukhin 2022-07-23 00:03:55 +04:00
parent 43fed64f82
commit c7bf40e3e8
No known key found for this signature in database
GPG Key ID: 3D2A774C5489F96C
3 changed files with 2 additions and 8 deletions

View File

@ -9,7 +9,6 @@
React.createElement(squiggle_components.SquigglePlayground, { React.createElement(squiggle_components.SquigglePlayground, {
code: text, code: text,
showEditor: false, showEditor: false,
showControls: Boolean(showSettings.showControls),
showSummary: Boolean(showSettings.showSummary), showSummary: Boolean(showSettings.showSummary),
}) })
); );

View File

@ -105,11 +105,6 @@
"configuration": { "configuration": {
"title": "Squiggle", "title": "Squiggle",
"properties": { "properties": {
"squiggle.playground.showControls": {
"type": "boolean",
"default": false,
"description": "Whether to show the log scale controls in the playground"
},
"squiggle.playground.showSummary": { "squiggle.playground.showSummary": {
"type": "boolean", "type": "boolean",
"default": false, "default": false,

View File

@ -47,8 +47,8 @@ export default function PlaygroundPage() {
...hashData, ...hashData,
onCodeChange: (code) => setHashData({ initialSquiggleString: code }), onCodeChange: (code) => setHashData({ initialSquiggleString: code }),
onSettingsChange: (settings) => { onSettingsChange: (settings) => {
const { showControls, showSummary, showEditor } = settings; const { showSummary, showEditor } = settings;
setHashData({ showControls, showSummary, showEditor }); setHashData({ showSummary, showEditor });
}, },
}; };
return ( return (