graphix-package-gui 0.8.0

A dataflow language for UIs and network programming, GUI package
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
let table_column = |
  #width: &Length = &`Shrink,
  #halign: &HAlign = &`Left,
  #valign: &VAlign = &`Top,
  header: &Widget
| -> TableColumn { header, width, halign, valign };

let table = |
  #width: &Length = &`Shrink,
  #padding: &[f64, null] = &null,
  #separator: &[f64, null] = &null,
  columns: &Array<TableColumn>,
  rows: &Array<Array<Widget>>
| -> Widget `Table({ columns, rows, width, padding, separator })