2017-07-31 19:27:03 +01:00
|
|
|
public class Settings : Granite.Services.Settings {
|
|
|
|
|
|
|
|
private static Settings settings;
|
|
|
|
public static Settings get_default () {
|
|
|
|
if (settings == null)
|
|
|
|
settings = new Settings ();
|
|
|
|
|
|
|
|
return settings;
|
|
|
|
}
|
|
|
|
public int window_width { get; set; }
|
|
|
|
public int window_height { get; set; }
|
|
|
|
public WindowState window_state { get; set; }
|
|
|
|
|
|
|
|
private Settings () {
|
2017-07-31 19:58:37 +01:00
|
|
|
base ("com.github.artemanufrij.webpin");
|
2017-07-31 19:27:03 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
public enum WindowState {
|
|
|
|
NORMAL,
|
|
|
|
MAXIMIZED,
|
|
|
|
FULLSCREEN
|
|
|
|
}
|
|
|
|
}
|