From: Alexander Ilin <alex.ilin@protonmail.com>
Date: Sat, 2 Sep 2023 16:25:43 +0000 (+0200)
Subject: hello-ui: fix some punctuation
X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=6e82b00bfb46523cad8263d1444908c1580e8800

hello-ui: fix some punctuation
---

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" <label> >>gadgets ;
+    "Hello, world!" <label> >>gadgets ;