I wasn't thinking in terms of exposing the list to users, but keeping it internally.
We might be able to implement rules specific to certain properties like, don't output ScrollExtent if the value is the same as the size.
I talked to Silverfrost today about removing LocalText and LocalTooltip completely, so this might happen after the expansion.
Overall I don't think the file sizes are much of an issue though. They compress well and still load fast. I just don't like the idea of having location and size as well as left, top, width and height for every widget.
|