Merge pull request 'feat: project manager' (#21) from feat/project-manager into main
Some checks failed
Deploy to GitHub Pages / build_site (push) Has been cancelled
Some checks failed
Deploy to GitHub Pages / build_site (push) Has been cancelled
Reviewed-on: #21
This commit was merged in pull request #21.
This commit is contained in:
@@ -43,7 +43,4 @@
|
||||
align-items: center;
|
||||
padding-left: 1em;
|
||||
}
|
||||
h3 {
|
||||
margin: 0px;
|
||||
}
|
||||
</style>
|
||||
|
||||
@@ -1,7 +1,7 @@
|
||||
<script lang="ts">
|
||||
import type { Graph } from "$lib/types";
|
||||
|
||||
const { graph }: { graph: Graph } = $props();
|
||||
const { graph }: { graph?: Graph } = $props();
|
||||
|
||||
function convert(g: Graph): string {
|
||||
return JSON.stringify(
|
||||
@@ -16,5 +16,5 @@
|
||||
</script>
|
||||
|
||||
<pre>
|
||||
{convert(graph)}
|
||||
{graph ? convert(graph) : 'No graph loaded'}
|
||||
</pre>
|
||||
|
||||
Reference in New Issue
Block a user