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;
}
}
public void Dispose()
{
if (dialog != null)
{
dialog.Destroy();
dialog = null;
}
if (button != null)
{
button.Dispose();
button = null;
}
if (miniButton != null)
{
miniButton.Dispose();
miniButton = null;
}
if (Closed != null)
{
Closed(this, EventArgs.Empty);
}
}
public void Dispose ()
{
if (dialog != null) {
dialog.Destroy ();
dialog = null;
}
if (button != null) {
button.Dispose ();
button = null;
}
if (miniButton != null) {
miniButton.Dispose ();
miniButton = null;
}
if (Closed != null)
Closed (this, EventArgs.Empty);
}
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.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;
}
}
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;
}
}