dcowan/webpin
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

save window maximized state

Browse source
This commit is contained in:
Artem Anufrij 2017-08-11 21:16:18 +02:00
parent 10e552b6ed
commit 01538d3154
1 changed files with 16 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
src/WebWindow.vala
View file

@ -85,14 +85,16 @@ namespace Webpin {
var height = info.get_string ("WebpinWindowHeight");
var state = info.get_string ("WebpinWindowMaximized");
if (state != null && state == "max") {
this.maximize ();
} else if (width != null && height != null) {
if (width != null && height != null) {
set_default_size (int.parse(width), int.parse(height));
} else {
set_default_size (1000, 600);
}
if (state != null && state == "max") {
this.maximize ();
}
this.delete_event.connect (() => {
update_window_state(this.get_allocated_width (), this.get_allocated_height (), this.is_maximized);
return false;
@ -139,12 +141,17 @@ namespace Webpin {
is_full_screen = !is_full_screen;
}
public void update_window_state (int width, int height, bool is_maximized) {
var file = web_app.get_desktop_file();
file.edit_propertie ("WebpinWindowWidth", width.to_string());
file.edit_propertie ("WebpinWindowHeight", height.to_string());
file.edit_propertie ("WebpinWindowMaximized", is_maximized == true ? "max" : "norm");
}
public void update_window_state (int width, int height, bool is_maximized) {
var file = web_app.get_desktop_file();
if (is_maximized) {
file.edit_propertie ("WebpinWindowMaximized", "max");
} else {
file.edit_propertie ("WebpinWindowWidth", width.to_string());
file.edit_propertie ("WebpinWindowHeight", height.to_string());
file.edit_propertie ("WebpinWindowMaximized", "norm");
}
}
public override bool key_press_event (Gdk.EventKey event) {
bool handled = true;