On this page:
View.Size  Int
View.Size
View.Position  Int
View.Position
View.Spacing  Int
View.Margin
View.Alignment
View.Horiz  Alignment
View.Horiz  Alignment.left
View.Horiz  Alignment.center
View.Horiz  Alignment.right
View.Horiz  Alignment
View.Stretch
View.Label  String
0.45+9.0.900

6 Sizes, Positions, and Alignment🔗ℹ

annotation

gui.View.SizeInt

Equivalent to Int.in(0 ..= 1000000).

annotation

gui.View.Size

Satisfied by a list containing two maybe(View.SizeInt)s.

annotation

gui.View.PositionInt

Equivalent to Int.in(-1000000 ..= 1000000).

annotation

gui.View.Position

Satisfied by #'center or a list containing two View.PositionInts.

annotation

gui.View.SpacingInt

Equivalent to Int.in(0 ..= 1000).

annotation

gui.View.Margin

Satisfied by a list containing two View.SpacingInts.

annotation

gui.View.Alignment

 

enumeration

enum gui.View.HorizAlignment

| left

| center

| right

 

enumeration

enum gui.View.HorizAlignment

| top

| center

| bottom

A View.Alighment is a 2-element list containing a View.HorizAlignment and a View.VertAlignment.

annotation

gui.View.Stretch

Satisfied by a list containing two Booleans.

annotation

gui.View.LabelString

Satisfied by a string whose length is less than 200 characters.

In many contexts, when & occurs in a label string, it is specially parsed. On Windows and Unix, the character following & is underlined in the displayed control to indicate a keyboard mnemonic. (On Mac OS, mnemonic underlines are not shown.) The underlined mnemonic character must be a letter or a digit. The user can effectively click the button by typing the mnemonic when the control’s enclosing window contains the keyboard focus. The user must also hold down the Meta or Alt key if the keyboard focus is currently in a control that handles normal alphanumeric input. The & itself is removed from label before it is displayed for the control; a && in label is converted to & (with no mnemonic underlining). On Mac OS, a parenthesized mnemonic character is removed (along with any surrounding space) before the label is displayed, since a parenthesized mnemonic is often used for non-Roman languages. Finally, for historical reasons, any text after a tab character is removed on all platforms.