remove some more unused stuff

pull/2199/head
Richard Harris 6 years ago
parent 0bbea065bb
commit 26e783b078

@ -6,7 +6,7 @@
import Compiler from './Compiler.js';
import CodeMirror from '../CodeMirror.svelte';
const { values, register_output } = getContext('REPL');
const { register_output } = getContext('REPL');
export let version;
export let sourceErrorLoc;
@ -61,23 +61,6 @@
const setters = {};
let view = 'result';
function updateValues(prop, value) {
values.update(v => Object.assign({}, v, {
[prop]: value
}));
}
function setPropFromViewer(prop, value) {
// console.log(setters, prop, value);
// setters[prop](value);
updateValues(prop, value);
}
function setPropFromEditor(prop, value) {
viewer.setProp(prop, value);
updateValues(prop, value);
}
</script>
<style>

@ -65,22 +65,19 @@
$: if (repl) {
repl.set({
components: chapter.app_a.map(clone),
values: {}
components: chapter.app_a.map(clone)
});
}
function reset() {
repl.update({
components: chapter.app_a.map(clone),
values: {}
components: chapter.app_a.map(clone)
});
}
function complete() {
repl.update({
components: chapter.app_b.map(clone),
values: {}
components: chapter.app_b.map(clone)
});
}

Loading…
Cancel
Save