check_height(16),
radio_width(16),
arrow_width(9),
- gutter_width(0),
separator_height(11),
separator_upper_height(3),
separator_lower_height(4),
separator_spacing_height(3),
- render_gutter(false),
show_mnemonics(false),
scroll_arrow_height(3),
label_to_minor_text_padding(10),