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