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);
}
