24
24
public AppsView apps_view;
25
25
public AppsInfo apps_info;
27
public void set_page (PageType page) {
28
if (page == get_current_page()) {
29
switch_page(get_nth_page((int)page), page);
31
set_current_page(page);
27
35
public PagesView () {
28
36
show_border = false;
31
39
home_page = new HomePage();
32
append_page(home_page, null);
40
ScrolledWindow home_page_scroll = new ScrolledWindow(null, null);
41
home_page_scroll.set_policy(PolicyType.NEVER, PolicyType.AUTOMATIC);
42
home_page_scroll.add_with_viewport(home_page);
43
append_page(home_page_scroll, null);
34
45
apps_view = new AppsView();
35
46
append_page(apps_view, null);
37
48
apps_info = new AppsInfo();
38
append_page(apps_info, null);
49
ScrolledWindow apps_info_scroll = new ScrolledWindow(null, null);
50
apps_info_scroll.set_policy(PolicyType.NEVER, PolicyType.AUTOMATIC);
51
apps_info_scroll.add_with_viewport(apps_info);
52
append_page(apps_info_scroll, null);
b'\\ No newline at end of file'