55 std::vector<game_tip>
tips;
70 if(rect_gm.w && rect_gm.h) {
Sort-of-Singleton that many classes, both GUI and non-GUI, use to access the game data.
rect map_outside_area() const
Returns the available area for a map, this may differ from the above.
static display * get_singleton()
Returns the display object if a display object exists.
map_display and display: classes which take care of displaying the map and game-data on the screen.
t_string has_helptip_message
unsigned screen_width
The screen resolution and pixel pitch should be available for all widgets since their drawing method ...
std::vector< game_tip > tips
std::chrono::milliseconds double_click_time
std::string sound_slider_adjust
const unsigned screen_pitch_microns
screen_pitch_microns is deprecated.
std::string sound_toggle_button_click
std::chrono::milliseconds popup_show_delay
These are copied from the active gui.
unsigned gamemap_x_offset
The offset between the left edge of the screen and the gamemap.
std::string sound_button_click
std::chrono::milliseconds popup_show_time
std::chrono::milliseconds help_show_time
std::string sound_toggle_panel_click
unsigned gamemap_width
The size of the map area, if not available equal to the screen size.
void update_screen_size_variables()
Update the size of the screen variables in settings.
std::chrono::milliseconds repeat_button_repeat_time
bool new_widgets
Do we wish to use the new library or not.
Contains the general settings which have a default.
point game_canvas_size()
The size of the game canvas, in drawing coordinates / game pixels.
This file contains the settings handling of the widget library.