-
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
// Copyright 2025 Shota FUJI
//
// This Source Code Form is subject to the terms of the Mozilla Public
// License, v. 2.0. If a copy of the MPL was not distributed with this
// file, You can obtain one at https://mozilla.org/MPL/2.0/.
//
// SPDX-License-Identifier: MPL-2.0
using GLib;
namespace TimeTracker.Widget {
private class HistoryView : Gtk.Box {
public Model.Model model { get; construct; }
private Gtk.ListView list = new Gtk.ListView(null, null) {
hexpand = true,
};
public HistoryView(Model.Model model) {
Object(model: model, orientation: Gtk.Orientation.VERTICAL, spacing: 4);
}
construct {
var scrollable = new Gtk.ScrolledWindow() {
vexpand = true,
};
this.append(scrollable);
var factory = new Gtk.SignalListItemFactory();
factory.setup.connect(setup);
factory.bind.connect(bind);
list.factory = factory;
list.model = new Gtk.NoSelection(model.stopped_timers);
scrollable.child = list;
}
private void setup(Gtk.ListItemFactory _factory, Object object) {
var list_item = (Gtk.ListItem) object;
list_item.selectable = false;
list_item.activatable = false;
var row = new HistoryRow() {
margin_top = 16,
margin_bottom = 16,
margin_start = 12,
margin_end = 12,
};
row.start.connect((timer) => {
model.update(new Event.TimerStarted(timer.title));
});
row.remove.connect((timer) => {
model.update(new Event.TimerDeleted(timer.id));
});
list_item.child = row;
}
private void bind(Gtk.ListItemFactory _factory, Object object) {
var list_item = (Gtk.ListItem) object;
var timer = (Model.Timer) list_item.item;
var row = (HistoryRow) list_item.child;
row.timer = timer;
}
}
}