From 8586dfb68c072817fa0f7cf50e017e8b08b4b6d7 Mon Sep 17 00:00:00 2001
From: Jeremy Soller <jackpot51@gmail.com>
Date: Wed, 22 Mar 2017 22:15:40 -0600
Subject: [PATCH] Handle screen size events
---
src/launcher/main.rs | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/src/launcher/main.rs b/src/launcher/main.rs
index 81c2210..3d496e6 100644
--- a/src/launcher/main.rs
+++ b/src/launcher/main.rs
@@ -165,7 +165,7 @@ fn bar_main() {
let mut start_packages = packages.clone();
start_packages.push(logout_package);
- let (width, height) = orbclient::get_display_size().expect("launcher: failed to get display size");
+ let (mut width, mut height) = orbclient::get_display_size().expect("launcher: failed to get display size");
let mut window = Window::new(0, height as i32 - ICON_SIZE, width, ICON_SIZE as u32, "").expect("launcher: failed to open window");
let mut selected = -1;
@@ -187,6 +187,13 @@ fn bar_main() {
mouse_left = button_event.left;
true
},
+ EventOption::Screen(screen_event) => {
+ width = screen_event.width;
+ height = screen_event.height;
+ window.set_pos(0, height as i32 - ICON_SIZE);
+ window.set_size(width, ICON_SIZE as u32);
+ true
+ },
EventOption::Quit(_) => break 'running,
_ => false
};
--
GitLab