client: mark properties with defaults as optional

This commit is contained in:
Johann150 2022-10-04 20:42:12 +02:00
parent 06e40246db
commit 36a0f0c480
Signed by untrusted user: Johann150
GPG key ID: 9EE6577A2A06F8F1

View file

@ -21,7 +21,7 @@
<script lang="ts" setup>
const props = withDefaults(defineProps<{
defaultOpen: boolean;
defaultOpen?: boolean;
}>(), {
defaultOpen: false,
});