]> gitweb.factorcode.org Git - factor.git/commitdiff
periodic-table: bigger fonts, legend stays still
authorJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 03:46:27 +0000 (20:46 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Sat, 2 Sep 2023 03:46:27 +0000 (20:46 -0700)
extra/periodic-table/periodic-table.factor

index 45c72fc1fb0e1cfbc9ed31b946b4d1abca6cd51d..9b60342dea3f9808afdde5b0d67b238d08ce4a6a 100644 (file)
@@ -163,9 +163,9 @@ CONSTANT: periodic-table {
 :: <element> ( atomic-number symbol name -- gadget )
     vertical <track>
     atomic-number number>string <label>
-        [ 8 >>size ] change-font f track-add
+        [ 10 >>size ] change-font f track-add
     symbol <label> [ t >>bold? ] change-font f track-add
-    name <label> [ 6 >>size ] change-font f track-add ;
+    name <label> [ 8 >>size ] change-font f track-add ;
 
 : <legend> ( -- gadget )
     horizontal <track> { 3 3 } >>gap
@@ -195,9 +195,8 @@ CONSTANT: periodic-table {
             "" <label> { 20 20 } >>pref-dim f track-add
         ] if*
         f track-add
-    ] each
-    <legend> { 0 10 } <border> f track-add ;
+    ] each <legend> f track-add ;
 
 MAIN-WINDOW: periodic-table-window
     { { title "Periodic Table" } }
-    <periodic-table> >>gadgets ;
+    <periodic-table> { 5 5 } <border> >>gadgets ;