Update property editor checkboxes when brush colour is changed elsewhere

nint8835 · nint8835 · commit ce0a68dea46b · 2024-04-29T17:49:13.000-02:30
diff --git a/frontend/src/components/PropertyEditor.svelte b/frontend/src/components/PropertyEditor.svelte
@@ -7,6 +7,10 @@
 
     let propertyValues = $store.brushColour.split('').map((v) => v === '1');
 
+    store.subscribe((value) => {
+        propertyValues = value.brushColour.split('').map((v) => v === '1');
+    });
+
     $: {
         $store.brushColour = propertyValues.map((v) => (v ? '1' : '0')).join('');
     }

Original file line number	Diff line number	Diff line change
`@@ -7,6 +7,10 @@`
`7`	`7`
`8`	`8`	`let propertyValues = $store.brushColour.split('').map((v) => v === '1');`
`9`	`9`
	`10`	`+ store.subscribe((value) => {`
	`11`	`+ propertyValues = value.brushColour.split('').map((v) => v === '1');`
	`12`	`+ });`
	`13`	`+`
`10`	`14`	`$: {`
`11`	`15`	`$store.brushColour = propertyValues.map((v) => (v ? '1' : '0')).join('');`
`12`	`16`	`}`