From 9264f435d413a2681e1484299d80641ce9e006eb Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 23 Dec 2021 04:37:10 -0500 Subject: [PATCH] Commit before moving to paratactic form --- protocols/schema-bundle.bin | 2 +- protocols/schemas/ui.prs | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/protocols/schema-bundle.bin b/protocols/schema-bundle.bin index dfd52db..61c916a 100644 --- a/protocols/schema-bundle.bin +++ b/protocols/schema-bundle.bin @@ -1,5 +1,5 @@ ´³bundle·µ³ui„´³schema·³version‘³ definitions·³Fill´³orµµ±fixed´³atom³Double„„µ±fill´³rec´³lit³fill„´³tupleµ´³named³weight´³atom³ SignedInteger„„´³named³rank´³atom³ SignedInteger„„„„„„„„³Click´³rec´³lit³click„´³tupleµ´³named³widget´³refµ„³WidgetId„„„„„³Color´³rec´³lit³rgba„´³tupleµ´³named³red´³atom³Double„„´³named³green´³atom³Double„„´³named³blue´³atom³Double„„´³named³alpha´³atom³Double„„„„„³State´³rec´³lit³state„´³tupleµ´³named³widget´³refµ„³WidgetId„„´³named³key³any„´³named³value³any„„„„³Touch´³rec´³lit³touch„´³tupleµ´³named³widget´³refµ„³WidgetId„„´³named³touchId³any„„„„³Sizing´³rec´³lit³sizing„´³tupleµ´³named³ideal´³atom³Double„„´³named³stretch´³refµ„³Fill„„´³named³shrink´³refµ„³Fill„„„„„³BoxSize´³rec´³lit³box-size„´³tupleµ´³named³ -horizontal´³refµ„³Sizing„„´³named³vertical´³refµ„³Sizing„„„„„³LeafType´³lit³box„³NodeType´³orµµ±column´³lit³column„„µ±row´³lit³row„„„„³Ordering´³orµµ±double´³atom³Double„„µ±string´³atom³String„„„„³WidgetId³any³ +horizontal´³refµ„³Sizing„„´³named³vertical´³refµ„³Sizing„„„„„³LeafType´³orµµ±blank´³lit³blank„„µ±text´³lit³text„„µ±slider´³lit³slider„„„„³NodeType´³orµµ±column´³lit³column„„µ±row´³lit³row„„„„³Ordering´³orµµ±double´³atom³Double„„µ±string´³atom³String„„„„³WidgetId³any³ ShowWidget´³rec´³lit³show„´³tupleµ´³named³ positions´³refµ„³WidgetSelector„„´³named³widget´³refµ„³ WidgetTree„„´³named³order´³refµ„³Ordering„„´³named³client´³embedded´³refµ„³WidgetClientProtocol„„„„„„³ WidgetTree´³orµµ±node´³rec´³lit³node„´³tupleµ´³named³type´³refµ„³NodeType„„´³named³ diff --git a/protocols/schemas/ui.prs b/protocols/schemas/ui.prs index 9bdca4b..ed25ea5 100644 --- a/protocols/schemas/ui.prs +++ b/protocols/schemas/ui.prs @@ -10,7 +10,9 @@ WidgetTree = NodeType = =column / =row . WidgetAttributes = { symbol: any ...:... } . LeafType = -/ =box +/ =blank +/ =text +/ =slider . WidgetSelector =