public void ShowMiniButton()
{
if (dialog != null)
{
dialog.Destroy();
dialog = null;
}
if (button != null)
{
button.Dispose();
button = null;
}
if (miniButton == null)
{
miniButton = new ExceptionCaughtMiniButton(this, File, Line);
TextEditorService.RegisterExtension(miniButton);
}
}
public void ShowButton()
{
if (dialog != null)
{
dialog.Destroy();
}
if (button == null)
{
button = new ExceptionCaughtButton(ex, this);
button.File = file;
button.Line = line;
TextEditorService.RegisterExtension(button);
}
if (miniButton != null)
{
miniButton.Dispose();
miniButton = null;
}
}
public void ShowButton()
{
if (dialog != null)
{
dialog.Destroyed -= Dialog_Destroyed;
dialog.Destroy();
dialog = null;
}
if (button == null)
{
button = new ExceptionCaughtButton(ex, this, File, Line);
TextEditorService.RegisterExtension(button);
button.ScrollToView();
}
if (miniButton != null)
{
miniButton.Dispose();
miniButton = null;
}
}
