private Timer timer; // The timer contained in this window. // Create a new one. Default constructor. public TimerForm() { this.themeColors = new ThemeColors(); InitializeComponent(); this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(CloseWindowsReceicer); this.timer = null; this.old = false; this.refreshProgressBar(1); // For User Experience this.displayer.AppendText("00:00:00.000"); this.button1.Text = "Start"; this.soundconfigure.load(); }
// Load an old one. public TimerForm(string path) { this.themeColors = new ThemeColors(); InitializeComponent(); this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(CloseWindowsReceicer); this.timer = TimerBuildSwitcher(path); this.old = true; this.register_receivers(); this.timer.onUpdated(); this.button1.Text = "Reset"; this.button2.Text = "Resume"; this.soundconfigure.load(); }
// Create a niew one, overload. public TimerForm(System.TimeSpan OriginTimeSpan, TimerOption timeroption, int CountLimit) { this.themeColors = new ThemeColors(); InitializeComponent(); this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(CloseWindowsReceicer); this.timer = null; this.old = false; // To build the timer. this.option = timeroption; this.duration = OriginTimeSpan; this.ChooseStyle = ChooseStyle.TimeSpan; this.count_limit = CountLimit; this.refreshProgressBar(1); // For User Experience this.displayer.AppendText(OriginTimeSpan.ToString("hh':'mm':'ss'.'fff")); this.button1.Text = "Start"; this.soundconfigure.load(); }