| 1760 | } |
| 1761 | |
| 1762 | void VideoMenu::UpdateSettings() |
| 1763 | { |
| 1764 | settings_.SetSetting( SettingsKeys::fullscreen_display, int(display_ ) ); |
| 1765 | if( !video_modes_.empty() && !video_modes_[display_].empty() ) |
| 1766 | { |
| 1767 | settings_.SetSetting( SettingsKeys::fullscreen_width , int(video_modes_[display_][resolution_].size.Width ()) ); |
| 1768 | settings_.SetSetting( SettingsKeys::fullscreen_height, int(video_modes_[display_][resolution_].size.Height()) ); |
| 1769 | if( !video_modes_[display_][resolution_].supported_frequencies.empty() ) |
| 1770 | settings_.SetSetting( SettingsKeys::fullscreen_frequency, int(video_modes_[display_][resolution_].supported_frequencies[frequency_]) ); |
| 1771 | } |
| 1772 | |
| 1773 | if( std::strlen( window_width_ ) > 0 ) |
| 1774 | settings_.SetSetting( SettingsKeys::window_width , window_width_ ); |
| 1775 | if( std::strlen( window_height_ ) > 0 ) |
| 1776 | settings_.SetSetting( SettingsKeys::window_height, window_height_ ); |
| 1777 | } |
| 1778 | |
| 1779 | // Options Menu |
| 1780 |
nothing calls this directly
no test coverage detected