public show_tips(status_ctrl status) { status_ = status; // wait just a short while, for the log status to be shown show_tip_next_ = DateTime.Now.AddSeconds(5); }
// sets the status for a given period - after that ends, the previous status is shown // if < 0, it's forever private void set_status(string msg, status_ctrl.status_type type = status_ctrl.status_type.msg, int set_status_for_ms = 7500) { status.set_status(msg, type, set_status_for_ms); if (type == status_ctrl.status_type.err && !global_ui.show_status) { global_ui.temporarily_show_status = true; show_status(global_ui.temporarily_show_status); } }
public show_tips(status_ctrl status) { status_ = status; // wait just a short while, for the log status to be shown show_tip_next_ = DateTime.Now.AddSeconds(5); }