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
|
using Gee;
using Gdk;
using Gtk;
using Dino.Entities;
namespace Dino.Ui {
[GtkTemplate (ui = "/im/dino/Dino/main_window.ui")]
public class MainWindow : Adw.ApplicationWindow {
public signal void conversation_selected(Conversation conversation);
[GtkChild] public unowned Stack stack;
[GtkChild] public unowned Adw.NavigationSplitView navigation_split_view;
[GtkChild] public unowned MenuButton add_button;
[GtkChild] public unowned MenuButton menu_button;
[GtkChild] public unowned Adw.HeaderBar conversation_headerbar;
[GtkChild] public unowned Adw.WindowTitle conversation_window_title;
[GtkChild] public unowned ConversationView conversation_view;
[GtkChild] public unowned ConversationSelector conversation_selector;
[GtkChild] public unowned Adw.Flap search_flap;
[GtkChild] private unowned Stack left_stack;
[GtkChild] private unowned Stack right_stack;
[GtkChild] public unowned Adw.Bin search_frame;
public GlobalSearch global_search;
public WelcomePlaceholder welcome_placeholder = new WelcomePlaceholder();
public NoAccountsPlaceholder accounts_placeholder = new NoAccountsPlaceholder();
private Database db;
private Config config;
class construct {
var shortcut = new Shortcut(new KeyvalTrigger(Key.F, ModifierType.CONTROL_MASK), new CallbackAction((widget, args) => {
((MainWindow) widget).search_flap.reveal_flap = true;
((MainWindow) widget).navigation_split_view.show_content = true;
return false;
}));
add_shortcut(shortcut);
}
public MainWindow(Application application, StreamInteractor stream_interactor, Database db, Config config) {
Object(application : application);
this.db = db;
this.config = config;
this.title = "Dino";
this.add_css_class("dino-main");
if (Dino.get_version().contains("~git")) {
this.add_css_class("devel");
}
((Widget)this).realize.connect(restore_window_size);
conversation_selector.init(stream_interactor);
conversation_selector.conversation_selected.connect_after(() => { navigation_split_view.show_content = true; });
global_search = new GlobalSearch(stream_interactor);
search_frame.set_child(global_search.get_widget());
create_add_menu(add_button, menu_button);
stack.add_named(welcome_placeholder, "welcome_placeholder");
stack.add_named(accounts_placeholder, "accounts_placeholder");
}
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");
} else 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");
} 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");
}
}
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.Surface? surface = get_surface();
Gdk.Monitor? monitor = display.get_monitor_at_surface(surface);
if (monitor != null &&
config.window_width <= monitor.geometry.width &&
config.window_height <= monitor.geometry.height) {
set_default_size(config.window_width, config.window_height);
}
}
if (config.window_maximize) {
maximize();
}
((Widget)this).unrealize.connect(() => {
save_window_size();
config.window_maximize = this.maximized;
});
}
public void save_window_size() {
if (this.maximized) return;
Gdk.Display? display = get_display();
Gdk.Surface? surface = get_surface();
if (display != null && surface != null) {
Gdk.Monitor monitor = display.get_monitor_at_surface(surface);
// Only store if the values have changed and are reasonable-looking.
if (config.window_width != default_width && default_width > 0 && default_width <= monitor.geometry.width) {
config.window_width = default_width;
}
if (config.window_height != default_height && default_height > 0 && default_height <= monitor.geometry.height) {
config.window_height = default_height;
}
}
}
private static void create_add_menu(MenuButton add_button, MenuButton menu_button) {
add_button.tooltip_text = Util.string_if_tooltips_active(_("Start Conversation"));
Builder add_builder = new Builder.from_resource("/im/dino/Dino/menu_add.ui");
MenuModel add_menu_model = add_builder.get_object("menu_add") as MenuModel;
add_button.set_menu_model(add_menu_model);
Builder menu_builder = new Builder.from_resource("/im/dino/Dino/menu_app.ui");
MenuModel menu_menu_model = menu_builder.get_object("menu_app") as MenuModel;
menu_button.set_menu_model(menu_menu_model);
}
}
public class WelcomePlaceholder : MainWindowPlaceholder {
public WelcomePlaceholder() {
status_page.title = _("Welcome to Dino!");
status_page.description = _("Sign in or create an account to get started.");
primary_button.label = _("Set up account");
primary_button.visible = true;
}
}
public class NoAccountsPlaceholder : MainWindowPlaceholder {
public NoAccountsPlaceholder() {
status_page.title = _("No active accounts");
primary_button.label = _("Manage accounts");
primary_button.visible = true;
}
}
[GtkTemplate (ui = "/im/dino/Dino/main_window_placeholder.ui")]
public class MainWindowPlaceholder : Box {
[GtkChild] public unowned Adw.StatusPage status_page;
[GtkChild] public unowned Button primary_button;
[GtkChild] public unowned Button secondary_button;
}
}
|
