Subwindow_Theme

Fields

title_bar_size: := 0.03

title_bar: Button_Theme

close_button: Button_Theme

close_button_width: := 1.2

close_button_height: := 0.8

close_button_right_margin: := 0.4

close_button_x_height: := 0.7

region_background: Background_Theme

horizontal_margin_size: := 0.005

vertical_margin_size: := 0.005

subwindow_flags: := Subwindow_Flags.TITLE_BAR | .FRINGE | .CLOSE_BUTTON | .VISIBLE_RESIZE_CORNER

fringe_color: := Vector4.{ 0, 0, 0, .2 }

fringe_thickness: := 0.004

resize_corner_line_thickness: := 0.025

resize_corner_color: := Vector4.{ .4, .4, .4, 1 }

drag_intrusion_east: := 0.006

drag_extrusion_east: := 0.008

drag_intrusion_west: := 0.006

drag_extrusion_west: := 0.008

drag_intrusion_north: := 0.002

drag_extrusion_north: := 0.011

drag_intrusion_south: := 0.006

drag_extrusion_south: := 0.008

drag_corner_margin: := 0.05

resize_controls: := Resize_Controls.CORNER_SE | .EAST | .NORTH | .WEST | .SOUTH

resize_rect_size: := 0.05

resize_minimum_size: := Vector2.{ .08, .08 }

resize_snap_margin: := 0.02