private void refresh_workers_display() { foreach (Control c in panel1.Controls) { if (c is work_item) { work_item item = c as work_item; item.refresh(); } } }
private void timer4_Tick(object sender, EventArgs e) { if (is_running.Value && is_miner_running.Value) //times { db.update_or_insert("insert into times (id_pool, dat) values (" + current_id_running + ", '" + DateTime.Now.ToString("yyyy-MM-dd HH:mm:ss") + "'); "); foreach (Control c in panel1.Controls) { if (c is work_item) { work_item item = c as work_item; if (item.get_id() == current_id_running) { item.refresh(); } } } } }