diff --git a/src/widget.cpp b/src/widget.cpp index 8e5ccdccb1..95d177484a 100644 --- a/src/widget.cpp +++ b/src/widget.cpp @@ -151,7 +151,9 @@ const WidgetDimensions WidgetDimensions::unscaled = { {WD_CAPTIONTEXT_LEFT, WD_CAPTIONTEXT_TOP, WD_CAPTIONTEXT_RIGHT, WD_CAPTIONTEXT_BOTTOM}, ///< captiontext {WD_DROPDOWNTEXT_LEFT, WD_DROPDOWNTEXT_TOP, WD_DROPDOWNTEXT_RIGHT, WD_DROPDOWNTEXT_BOTTOM}, ///< dropdowntext {20, 10, 20, 10}, ///< modalpopup + {3, 3, 3, 3}, ///< picker 1, ///< pressed + 1, ///< vsep_picker WD_PAR_VSEP_NORMAL, ///< vsep_normal WD_PAR_VSEP_WIDE, ///< vsep_wide 2, ///< hsep_normal diff --git a/src/window_gui.h b/src/window_gui.h index 8beb315976..e444c6ea89 100644 --- a/src/window_gui.h +++ b/src/window_gui.h @@ -50,8 +50,10 @@ struct WidgetDimensions { RectPadding captiontext; ///< Offsets of text within a caption. RectPadding dropdowntext; ///< Offsets of text within a dropdown widget. RectPadding modalpopup; ///< Padding for a modal popup. + RectPadding picker; ///< Padding for a picker (dock, station, etc) window. int pressed; ///< Offset for contents of depressed widget. + int vsep_picker; ///< Vertical spacing of picker-window widgets. int vsep_normal; ///< Normal vertical spacing. int vsep_wide; ///< Wide vertical spacing. int hsep_normal; ///< Normal horizontal spacing.