1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
// -*- Mode: vala; indent-tabs-mode: nil; tab-width: 4 -*-
/*-
* Copyright (c) 2012-2017 elementary LLC (https://elementary.io)
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public
* License as published by the Free Software Foundation; either
* version 2 of the License, or (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* General Public License for more details.
*
* You should have received a copy of the GNU General Public
* License along with this program; if not, write to the
* Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
* Boston, MA 02110-1301 USA
*
* Authored by: Corentin Noël <corentin@elementary.io>
*/
public class AppCenter.Settings : Granite.Services.Settings {
public enum WindowState {
NORMAL,
MAXIMIZED,
FULLSCREEN
}
public int window_width { get; set; }
public int window_height { get; set; }
public WindowState window_state { get; set; }
public bool developer_mode { get; set; }
private static Settings main_settings;
public static unowned Settings get_default () {
if (main_settings == null)
main_settings = new Settings ();
return main_settings;
}
private Settings () {
base ("io.elementary.appcenter.settings");
}
}
|