private void GuiStateUpdateWorker(GuiStateArgs e) { _skipEvents = true; checkBoxFollowTail.Checked = e.FollowTail; mainMenuStrip.Enabled = e.MenuEnabled; timeshiftToolStripMenuItem.Enabled = e.TimeshiftPossible; timeshiftToolStripMenuItem.Checked = e.TimeshiftEnabled; timeshiftMenuTextBox.Text = e.TimeshiftText; timeshiftMenuTextBox.Enabled = e.TimeshiftEnabled; multiFileToolStripMenuItem.Enabled = e.MultiFileEnabled; // disabled for temp files multiFileToolStripMenuItem.Checked = e.IsMultiFileActive; multiFileEnabledStripMenuItem.Checked = e.IsMultiFileActive; cellSelectModeToolStripMenuItem.Checked = e.CellSelectMode; RefreshEncodingMenuBar(e.CurrentEncoding); if (e.TimeshiftPossible && ConfigManager.Settings.preferences.timestampControl) { dragControlDateTime.MinDateTime = e.MinTimestamp; dragControlDateTime.MaxDateTime = e.MaxTimestamp; dragControlDateTime.DateTime = e.Timestamp; dragControlDateTime.Visible = true; dragControlDateTime.Enabled = true; dragControlDateTime.Refresh(); } else { dragControlDateTime.Visible = false; dragControlDateTime.Enabled = false; } toolStripButtonBubbles.Checked = e.ShowBookmarkBubbles; groupsComboBoxHighlightGroups.Text = e.HighlightGroupName; columnFinderToolStripMenuItem.Checked = e.ColumnFinderVisible; _skipEvents = false; }
private void OnGuiStateUpdate(object sender, GuiStateArgs e) { BeginInvoke(new GuiStateUpdateWorkerDelegate(GuiStateUpdateWorker), e); }