feat: add theming support

2024-04-19 01:27:11 +02:00
parent a15a54c61e
commit d8ada83db3
27 changed files with 569 additions and 285 deletions
--- a/app/src/lib/graph-interface/graph-manager.ts
+++ b/app/src/lib/graph-interface/graph-manager.ts
@@ -435,7 +435,6 @@ export class GraphManager extends EventEmitter<{ "save": Graph, "result": any, "
  save() {
    if (this.currentUndoGroup) return;
    const state = this.serialize();
-    console.log(state);
    this.history.save(state);
    this.emit("save", state);
    logger.log("saving graphs", state);