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);
     }
 }
Example #2
0
 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;
     }
 }
Example #3
0
 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;
     }
 }
Example #4
0
 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;
			}
		}