From 6e82b00bfb46523cad8263d1444908c1580e8800 Mon Sep 17 00:00:00 2001 From: Alexander Ilin Date: Sat, 2 Sep 2023 18:25:43 +0200 Subject: [PATCH] hello-ui: fix some punctuation --- extra/hello-ui/deploy.factor | 2 +- extra/hello-ui/hello-ui.factor | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/extra/hello-ui/deploy.factor b/extra/hello-ui/deploy.factor index c3a5f900c5..d8d87f45ab 100644 --- a/extra/hello-ui/deploy.factor +++ b/extra/hello-ui/deploy.factor @@ -1,6 +1,5 @@ USING: tools.deploy.config ; H{ - { deploy-name "Hello world" } { deploy-ui? t } { deploy-c-types? f } { deploy-unicode? f } @@ -11,4 +10,5 @@ H{ { deploy-math? t } { deploy-threads? t } { deploy-word-defs? f } + { deploy-name "Hello, world!" } } diff --git a/extra/hello-ui/hello-ui.factor b/extra/hello-ui/hello-ui.factor index 9ed9457d5a..05729a74b2 100644 --- a/extra/hello-ui/hello-ui.factor +++ b/extra/hello-ui/hello-ui.factor @@ -2,4 +2,4 @@ USING: accessors ui ui.gadgets.labels ; IN: hello-ui MAIN-WINDOW: hello { { title "Hi" } } - "Hello world"