private:
void periodic (wxTimerEvent &);
+ void cancel_clicked (wxCommandEvent &);
+ void details_clicked (wxCommandEvent &);
boost::shared_ptr<wxTimer> _timer;
wxPanel* _panel;
struct JobRecord {
wxGauge* gauge;
wxStaticText* message;
- bool informed_of_finish;
+ wxButton* cancel;
+ wxButton* details;
+ bool finalised;
};
std::map<boost::shared_ptr<Job>, JobRecord> _job_records;