74 extern std::vector<game_tip>
tips;
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.