Source file `b_empty.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
(* an empty widget. Does not draw anything, but can be used to get mouse focus *)

type t = {
  size: int * int
}

let size e = e.size

let create size =
  { size }

let free _ = ()

let unload _ = ()

let display _ _ _ _ = []