b_empty.ml1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22(* This file is part of BOGUE, by San Vu Ngoc *) (* An empty widget. Does not draw anything, but can be used to get mouse focus. *) type t = { mutable size: int * int } let size e = e.size let create size = { size } let resize size t = t.size <- size let free _ = () let unload _ = () let display _ _ _ _ = []