private:
void position_changed(uint64_t pos);
void seek(int64_t delta_ms);
- void insert_event(int button_id);
+ void insert_player_event(int button_id);
void insert_noplayer_event(const std::string &type);
void set_current_event_type(const std::string &type);
void delete_current_event();
void make_substitution();
- void update_status();
+
+ void update_ui_from_time(uint64_t t);
+ void update_status(uint64_t t);
+ void update_player_buttons(uint64_t t);
+ void update_action_buttons(uint64_t t);
Ui::MainWindow *ui;
EventsModel *events;