diff --git a/src/ui_interface.rs b/src/ui_interface.rs index 7ea37bb5e..4c6202e7d 100644 --- a/src/ui_interface.rs +++ b/src/ui_interface.rs @@ -110,12 +110,6 @@ pub fn get_license() -> String { Default::default() } -#[inline] -#[cfg(target_os = "windows")] -pub fn get_option_opt(key: &str) -> Option { - OPTIONS.lock().unwrap().get(key).map(|x| x.clone()) -} - #[inline] pub fn get_option(key: String) -> String { get_option_(&key) diff --git a/src/ui_session_interface.rs b/src/ui_session_interface.rs index d754d49d4..be67adb8a 100644 --- a/src/ui_session_interface.rs +++ b/src/ui_session_interface.rs @@ -911,16 +911,16 @@ impl Session { pub fn change_resolution(&self, display: i32, width: i32, height: i32) { *self.last_change_display.lock().unwrap() = ChangeDisplayRecord::new(display, width, height); - self.do_change_resolution(display, width, height); + self.do_change_resolution(width, height); } fn try_change_init_resolution(&self, display: i32) { if let Some((w, h)) = self.lc.read().unwrap().get_custom_resolution(display) { - self.do_change_resolution(display, w, h); + self.do_change_resolution(w, h); } } - fn do_change_resolution(&self, display: i32, width: i32, height: i32) { + fn do_change_resolution(&self, width: i32, height: i32) { let mut misc = Misc::new(); misc.set_change_resolution(Resolution { width,