hello-ui: fix some punctuation

diff --git a/extra/hello-ui/deploy.factor b/extra/hello-ui/deploy.factor
index c3a5f900c51e096ab2468f32b9d6d9f0c3790aa1..d8d87f45ab588c63783a92a198fb1d4df646cecc 100644 (file)
--- 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 9ed9457d5ad5ed1483e0e99dea81e12875fe17b0..05729a74b2d6093c9cbaa23960cfddcbb38bf195 100644 (file)
--- 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 ;