Esempio n. 1
0
 private void FileExtensionAdded(object sender, FileExtensionEventArgs e)
 {
     if (e.Extension is FileLineExtension fileLineExtension && fileLineExtension.File == filePath)
     {
         RenderAdornment(fileLineExtension);
     }
 }
Esempio n. 2
0
 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;
         }
     }
 }