+ for (auto i: _job_records) {
+ i->maybe_pulse ();
+ }
+}
+
+
+void
+JobManagerView::replace ()
+{
+ /* Make a new version of _job_records which reflects the order in JobManager's job list */
+
+ list<shared_ptr<JobView>> new_job_records;
+
+ for (auto i: JobManager::instance()->get()) {
+ /* Find this job's JobView */
+ for (auto j: _job_records) {
+ if (j->job() == i) {
+ new_job_records.push_back (j);
+ break;
+ }
+ }
+ }
+
+ for (auto i: _job_records) {
+ i->detach ();
+ }
+
+ _job_records = new_job_records;
+
+ for (auto i: _job_records) {
+ i->insert (i->insert_position ());
+ }
+
+ job_list_changed ();
+}
+
+
+void
+JobManagerView::job_list_changed ()
+{
+ for (auto i: _job_records) {
+ i->job_list_changed ();