val min_width : int Options.option_record
val min_height : int Options.option_record
class manager : Stdconfig.icon_manager
val manager : manager

val min_width : int Options.option_record
val min_height : int Options.option_record
class manager : Stdconfig.icon_manager
val manager : manager
