blob: 87e040b4ac6b0309720a5cdd15d9bf2e1dd606d1 (
plain)
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
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
/* -*- Mode: Vala; indent-tabs-mode: nil; tab-width: 4 -*-
*
* Copyright (C) 2011,2012 Canonical Ltd
* Copyright (C) 2023 Robert Tari
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 3 as
* published by the Free Software Foundation.
*
* 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, see <http://www.gnu.org/licenses/>.
*
* Authors: Michael Terry <michael.terry@canonical.com>
* Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
* Robert Tari <robert@tari.in>
*/
public class ListStack : Gtk.Fixed
{
public uint num_children
{
get
{
var children = get_children ();
return children.length ();
}
}
private int width;
construct
{
width = grid_size * GreeterList.BOX_WIDTH;
}
public GreeterList? top ()
{
var children = get_children ();
if (children == null)
return null;
else
return children.last ().data as GreeterList;
}
public void push (GreeterList pushed)
{
return_if_fail (pushed != null);
var children = get_children ();
pushed.start_scrolling = false;
pushed.set_size_request (width, -1);
add (pushed);
if (children != null)
{
var current = children.last ().data as GreeterList;
/* Clear any errors so when we come back, they will be gone. */
current.selected_entry.reset_state ();
current.greeter_box.push (pushed);
}
}
public void pop ()
{
var children = get_children ();
return_if_fail (children != null);
unowned List<weak Gtk.Widget> prev = children.last ().prev;
if (prev != null)
{
GreeterList pList = (GreeterList) prev.data;
pList.greeter_box.pop ();
}
}
public override void size_allocate (Gtk.Allocation allocation)
{
base.size_allocate (allocation);
var children = get_children ();
foreach (var child in children)
{
child.size_allocate (allocation);
}
}
public override void get_preferred_width (out int min, out int nat)
{
min = width;
nat = width;
}
}
|
