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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
|
using Gee;
using Gdk;
using Gtk;
using Dino.Entities;
namespace Dino.Ui {
public class MainWindow : Gtk.Window {
public signal void conversation_selected(Conversation conversation);
public new string? title { get; set; }
public string? subtitle { get; set; }
public WelcomePlaceholder welcome_placeholder = new WelcomePlaceholder() { visible=true };
public NoAccountsPlaceholder accounts_placeholder = new NoAccountsPlaceholder() { visible=true };
public ConversationView conversation_view;
public ConversationSelector conversation_selector;
public ConversationTitlebar conversation_titlebar;
public ConversationTitlebarCsd conversation_titlebar_csd;
public ConversationListTitlebarCsd conversation_list_titlebar_csd;
public HeaderBar placeholder_headerbar = new HeaderBar() { title="Dino", show_close_button=true, visible=true };
public Box box = new Box(Orientation.VERTICAL, 0) { orientation=Orientation.VERTICAL, visible=true };
public Hdy.Leaflet headerbar_paned = new Hdy.Leaflet() { visible=true };
public Hdy.TitleBar titlebar = new Hdy.TitleBar() { visible=true };
public Hdy.HeaderGroup headergroup = new Hdy.HeaderGroup();
public Hdy.Leaflet paned;
public Revealer search_revealer;
public SearchEntry search_entry;
public GlobalSearch search_box;
private Stack stack = new Stack() { visible=true };
private Stack left_stack;
private Stack right_stack;
private StreamInteractor stream_interactor;
private Database db;
private Config config;
public MainWindow(Application application, StreamInteractor stream_interactor, Database db, Config config) {
Object(application : application);
this.stream_interactor = stream_interactor;
this.db = db;
this.config = config;
restore_window_size();
this.get_style_context().add_class("dino-main");
setup_unified();
setup_headerbar();
setup_stack();
if (!Util.use_csd()) {
box.add(headerbar_paned);
box.add(new Separator(Orientation.VERTICAL) { visible = true });
}
box.add(paned);
paned.bind_property("transition-type", headerbar_paned, "transition-type", BindingFlags.SYNC_CREATE | BindingFlags.BIDIRECTIONAL);
paned.bind_property("mode-transition-duration", headerbar_paned, "mode-transition-duration", BindingFlags.SYNC_CREATE | BindingFlags.BIDIRECTIONAL);
paned.bind_property("child-transition-duration", headerbar_paned, "child-transition-duration", BindingFlags.SYNC_CREATE | BindingFlags.BIDIRECTIONAL);
paned.bind_property("visible-child-name", headerbar_paned, "visible-child-name", BindingFlags.SYNC_CREATE | BindingFlags.BIDIRECTIONAL);
headerbar_paned.bind_property("folded", headergroup, "decorate-all", BindingFlags.SYNC_CREATE);
}
private void setup_unified() {
Builder builder = new Builder.from_resource("/im/dino/Dino/unified_main_content.ui");
paned = (Hdy.Leaflet) builder.get_object("paned");
paned.notify["folded"].connect_after(() => update_headerbar());
left_stack = (Stack) builder.get_object("left_stack");
right_stack = (Stack) builder.get_object("right_stack");
conversation_view = (ConversationView) builder.get_object("conversation_view");
conversation_selector = ((ConversationSelector) builder.get_object("conversation_list")).init(stream_interactor);
conversation_selector.conversation_selected.connect_after(() => show_view_pane());
search_box = ((GlobalSearch) builder.get_object("search_box")).init(stream_interactor);
search_revealer = (Revealer) builder.get_object("search_revealer");
search_entry = (SearchEntry) builder.get_object("search_entry");
Image conversation_list_placeholder_image = (Image) builder.get_object("conversation_list_placeholder_image");
conversation_list_placeholder_image.set_from_pixbuf(new Pixbuf.from_resource("/im/dino/Dino/icons/dino-conversation-list-placeholder-arrow.svg"));
conversation_view.copy_text.connect((text) => {
var display = get_display();
var clipboard = Gtk.Clipboard.get_default(display);
clipboard.set_text(text, text.length);
});
}
private void update_headerbar() {
conversation_titlebar.back_button = paned.folded;
}
private void show_list_pane() {
paned.visible_child_name = "list-pane";
if (paned.folded) {
conversation_selector.unselect_row(conversation_selector.get_selected_row());
}
}
private void show_view_pane() {
paned.visible_child_name = "view-pane";
}
private void setup_headerbar() {
SizeGroup conversation_list_group = new SizeGroup(SizeGroupMode.HORIZONTAL);
conversation_list_group.add_widget(left_stack);
SizeGroup conversation_view_group = new SizeGroup(SizeGroupMode.HORIZONTAL);
conversation_view_group.add_widget(right_stack);
if (Util.use_csd()) {
conversation_list_titlebar_csd = new ConversationListTitlebarCsd() { visible=true };
headerbar_paned.add_with_properties(conversation_list_titlebar_csd, "name", "list-pane");
headergroup.add_gtk_header_bar(conversation_list_titlebar_csd);
conversation_list_group.add_widget(conversation_list_titlebar_csd);
Separator sep = new Separator(Orientation.HORIZONTAL) { visible = true };
sep.get_style_context().add_class("sidebar");
headerbar_paned.add(sep);
conversation_titlebar_csd = new ConversationTitlebarCsd() { visible=true };
conversation_titlebar_csd.back_pressed.connect(() => show_list_pane());
conversation_titlebar = conversation_titlebar_csd;
headerbar_paned.add_with_properties(conversation_titlebar_csd, "name", "view-pane");
headergroup.add_gtk_header_bar(conversation_titlebar_csd);
conversation_view_group.add_widget(conversation_titlebar);
titlebar.add(headerbar_paned);
} else {
ConversationListTitlebar conversation_list_titlebar = new ConversationListTitlebar() { visible=true };
headerbar_paned.add_with_properties(conversation_list_titlebar, "name", "list-pane");
conversation_list_group.add_widget(conversation_list_titlebar);
Separator sep = new Separator(Orientation.HORIZONTAL) { visible = true };
sep.get_style_context().add_class("sidebar");
headerbar_paned.add(sep);
conversation_titlebar = new ConversationTitlebarNoCsd() { visible=true };
conversation_titlebar.back_pressed.connect(() => show_list_pane());
headerbar_paned.add_with_properties(conversation_titlebar, "name", "view-pane");
conversation_view_group.add_widget(conversation_titlebar);
}
}
private void setup_stack() {
stack.add_named(box, "main");
stack.add_named(welcome_placeholder, "welcome_placeholder");
stack.add_named(accounts_placeholder, "accounts_placeholder");
add(stack);
}
public enum StackState {
CLEAN_START,
NO_ACTIVE_ACCOUNTS,
NO_ACTIVE_CONVERSATIONS,
CONVERSATION
}
public void set_stack_state(StackState stack_state) {
if (stack_state == StackState.CONVERSATION) {
left_stack.set_visible_child_name("content");
right_stack.set_visible_child_name("content");
stack.set_visible_child_name("main");
if (Util.use_csd()) {
set_titlebar(titlebar);
}
} else if (stack_state == StackState.CLEAN_START || stack_state == StackState.NO_ACTIVE_ACCOUNTS) {
if (stack_state == StackState.CLEAN_START) {
stack.set_visible_child_name("welcome_placeholder");
} else if (stack_state == StackState.NO_ACTIVE_ACCOUNTS) {
stack.set_visible_child_name("accounts_placeholder");
}
if (Util.use_csd()) {
set_titlebar(placeholder_headerbar);
}
} else if (stack_state == StackState.NO_ACTIVE_CONVERSATIONS) {
stack.set_visible_child_name("main");
left_stack.set_visible_child_name("placeholder");
right_stack.set_visible_child_name("placeholder");
if (Util.use_csd()) {
set_titlebar(titlebar);
}
}
}
public void loop_conversations(bool backwards) {
conversation_selector.loop_conversations(backwards);
}
public void restore_window_size() {
Gdk.Display? display = Gdk.Display.get_default();
if (display != null) {
Gdk.Monitor? monitor = display.get_primary_monitor();
if (monitor == null) {
monitor = display.get_monitor_at_point(1, 1);
}
if (monitor != null &&
config.window_width <= monitor.geometry.width &&
config.window_height <= monitor.geometry.height) {
set_default_size(config.window_width, config.window_height);
}
}
this.window_position = Gtk.WindowPosition.CENTER;
if (config.window_maximize) {
maximize();
}
this.delete_event.connect(() => {
save_window_size();
config.window_maximize = this.is_maximized;
return false;
});
}
public void save_window_size() {
if (this.is_maximized) return;
Gdk.Display? display = get_display();
Gdk.Window? window = get_window();
if (display != null && window != null) {
Gdk.Monitor monitor = display.get_monitor_at_window(window);
int width = 0;
int height = 0;
get_size(out width, out height);
// Only store if the values have changed and are reasonable-looking.
if (config.window_width != width && width > 0 && width <= monitor.geometry.width) {
config.window_width = width;
}
if (config.window_height != height && height > 0 && height <= monitor.geometry.height) {
config.window_height = height;
}
}
}
}
public class WelcomePlaceholder : MainWindowPlaceholder {
public WelcomePlaceholder() {
title_label.label = _("Welcome to Dino!");
label.label = _("Sign in or create an account to get started.");
primary_button.label = _("Set up account");
title_label.visible = true;
secondary_button.visible = false;
}
}
public class NoAccountsPlaceholder : MainWindowPlaceholder {
public NoAccountsPlaceholder() {
title_label.label = _("No active accounts");
primary_button.label = _("Manage accounts");
title_label.visible = true;
label.visible = false;
secondary_button.visible = false;
}
}
[GtkTemplate (ui = "/im/dino/Dino/unified_window_placeholder.ui")]
public class MainWindowPlaceholder : Box {
[GtkChild] public unowned Label title_label;
[GtkChild] public unowned Label label;
[GtkChild] public unowned Button primary_button;
[GtkChild] public unowned Button secondary_button;
}
}
|