Class Fixed_size.fixed_size

A fixed_size widget is a Bin.bin widget whose width and height can be fixed.

inherit Stk.Bin.bin

Properties

method set_height : int -> unit
method set_width : int -> unit