From 88904c2ef1b80f7f02b96b242d94e115edf15152 Mon Sep 17 00:00:00 2001 From: neauoire Date: Fri, 17 Nov 2023 12:11:34 -0800 Subject: [PATCH] (meta) Exit if no metadata --- gui/meta/meta.tal | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/gui/meta/meta.tal b/gui/meta/meta.tal index 224d4e0..90da378 100644 --- a/gui/meta/meta.tal +++ b/gui/meta/meta.tal @@ -41,9 +41,8 @@ @await-src ( -> ) .Console/read DEI .src skey ?{ BRK } ;src has-metadata ?{ - #004c .Screen/x DEO2 - #0024 .Screen/y DEO2 - ;dict/empty + ;dict/empty + #010f DEO BRK } ;metadata/body DUP2