1.204.2 Class variables

tile.border: int = 4

Width of a gap between two tiles that the user can drag to resize them.

tile.fixed_border: int = 0

Width of a gap between two tiles that cannot be resized. Making the resizable gaps wider than the fixed ones makes them easier to see and to grab.

tile.border_root: int = 4

Distance around the root tile.

tile.gap_colour: colour = ui_tile_gap

Default for tile<-gap_colour.

tile.border_colour: colour = ui_tile_border

Default for tile<-border_colour.

tile.separator_colour: colour* = ui_tile_separator

Colour of the line drawn in a gap that can be dragged. If @nil, the foreground colour is used. Used by the frame or tab_frame holding the root tile.

tile.separator_pen: 0.. = 1

Thickness of the line drawn in a gap that can be dragged. If 0, no line is drawn.