void GuiActionAddSilence(string pattern, bool isPrefix)
{
if (isPrefix)
{
LogFilter.AddSilenceByPrefix(pattern);
}
else
{
LogFilter.AddSilenceBySource(pattern);
}
ConfigAccessor.WriteFieldsFromType(typeof(LogFilter), null /* instance */);
rawLogAggregator.UpdateFilter();
collapseLogAggregator.UpdateFilter();
smartLogAggregator.UpdateFilter();
snapshotLogAggregator.UpdateFilter();
logsViewChanged = true;
}
/// <summary>Only stores the session settings.</summary>
void OnDestroy()
{
ConfigAccessor.WriteFieldsFromType(
typeof(ConsoleUI), this, group: StdPersistentGroups.SessionGroup);
}
/// <summary>Only stores session settings.</summary>
void OnDestroy()
{
windowPos = windowRect.position;
ConfigAccessor.WriteFieldsFromType(typeof(Controller), this, group: SessionGroup);
}
