private void SettingsChanged(object sender, SettingsChangedEventArgs e)
{
var project = (Project)sender;
if (project.UniqueName == _project.UniqueName)
{
SetText(e.Enabled);
}
}
private async void OnSettingsChanged(object sender, SettingsChangedEventArgs e)
{
if (!e.Enabled)
{
return;
}
if (_view.Properties.TryGetProperty(typeof(LessAdornment), out LessAdornment adornment))
{
if (!DocumentService.TryGetTextDocument(_view.TextBuffer, out ITextDocument doc))
{
return;
}
CompilerOptions options = await CompilerOptions.Parse(doc.FilePath);
await adornment.Update(options);
}
}
