]> gitweb.factorcode.org Git - factor.git/commitdiff
hello-ui: shuffle the deploy config the way tools.deploy likes to save it
authorAlexander Ilin <alex.ilin@protonmail.com>
Sat, 2 Sep 2023 16:32:38 +0000 (18:32 +0200)
committerAlexander Ilin <alex.ilin@protonmail.com>
Sat, 2 Sep 2023 16:34:17 +0000 (18:34 +0200)
extra/hello-ui/deploy.factor

index 5495358e2e7d6c339dcd17597cafce40be89837a..86ffdd8990551ccb2e3d202d7c6f31a4be92eba5 100644 (file)
@@ -1,16 +1,16 @@
 USING: tools.deploy.config ;
 H{
     { deploy-console? t }
-    { deploy-ui? t }
-    { deploy-c-types? f }
-    { deploy-unicode? f }
-    { "stop-after-last-window?" t }
     { deploy-io 3 }
     { deploy-reflection 1 }
-    { deploy-word-props? f }
-    { deploy-math? t }
-    { deploy-threads? t }
+    { deploy-ui? t }
     { deploy-word-defs? f }
+    { deploy-threads? t }
+    { "stop-after-last-window?" t }
+    { deploy-math? t }
+    { deploy-word-props? f }
+    { deploy-c-types? f }
     { deploy-help? f }
     { deploy-name "Hello, world!" }
+    { deploy-unicode? f }
 }