A more example centric Topos

2023-08-27 23:38:13 +02:00
parent f364018223
commit 963fec8e44
5 changed files with 15 additions and 7 deletions
--- a/src/AppSettings.ts
+++ b/src/AppSettings.ts
@ -69,7 +69,7 @@ export const template_universe = {
 };

 export const template_universes = {
-  Default: {
+  Welcome: {
    global: { candidate: "", committed: "", evaluations: 0 },
    locals: {
      1: { candidate: "", committed: "", evaluations: 0 },
@ -83,7 +83,7 @@ export const template_universes = {
      9: { candidate: "", committed: "", evaluations: 0 },
    },
    init: { candidate: "", committed: "", evaluations: 0 },
-    notes: { candidate: "// NOTES" },
+    notes: { candidate: "" },
  },
  Help: tutorial_universe,
 };