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; } }