When I create a View, I would like to specify a square that scales well to different displays.
In the dialog that defines the view, I am presented with a default Box that specifies dimensions as percentages of the width and height, based on, presumably either MaximumWindowExtent or MinimumWindowExtent.
However, I want to base the width off of the height. Something like:
0.02@0.02 corner: (MaximumWindowExtent: y*0.75)@(MaximumWindowExtent: y*0.75)
If I cannot initialize it at creation time, what's the syntax to change it onEntry in the InitialState?