void on_new_session_clicked();
void on_session_name_changed();
void on_new_view(Session *session);
void on_view_close_clicked();
void on_new_session_clicked();
void on_session_name_changed();
void on_new_view(Session *session);
void on_view_close_clicked();