private void FileExtensionAdded(object sender, FileExtensionEventArgs e) { if (e.Extension is FileLineExtension fileLineExtension && fileLineExtension.File == filePath) { RenderAdornment(fileLineExtension); } }
private void FileExtensionRemoved(object sender, FileExtensionEventArgs e) { if (e.Extension == extension) { extension = null; _exceptionCaughtLayer.RemoveAllAdornments(); } }
private void FileExtensionRemoved(object sender, FileExtensionEventArgs e) { if (e.Extension == extension) { extension = null; _exceptionCaughtLayer.RemoveAllAdornments(); if (exceptionCaughtButtonWindow != null) { exceptionCaughtButtonWindow.Close(); exceptionCaughtButtonWindow = null; } } }