Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 22:15:33 +01:00
Code Issues Projects Releases Packages Wiki Activity

Go back to original window size after exiting fullscreen

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2019-09-20 11:28:54 +02:00
parent 748fa72320
commit 1651b41935
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ports/glutin/headed_window.rs
View file

@ -325,7 +325,7 @@ impl WindowPortsMethods for Window {
fn set_fullscreen(&self, state: bool) { fn set_fullscreen(&self, state: bool) {
if self.fullscreen.get() != state { if self.fullscreen.get() != state {
self.gl_context.borrow_mut().window() self.gl_context.borrow_mut().window()
.set_fullscreen(Some(self.primary_monitor.clone())); .set_fullscreen(if state { Some(self.primary_monitor.clone()) } else { None });
} }
self.fullscreen.set(state); self.fullscreen.set(state);
} }