[Ide] Added support for InformationPopoverWidget and EventBoxTooltip to use Markup.

This is needed for Android and iOS addins which expect to be able
to use markup in tooltips.

1 files changed, 13 insertions, 1 deletions

diff --git a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components/InformationPopoverWidget.cs b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components/InformationPopoverWidget.cs
index 446faa8a23..6ec1a549c9 100644
--- a/main/src/core/MonoDevelop.Ide/MonoDevelop.Components/InformationPopoverWidget.cs
+++ b/main/src/core/MonoDevelop.Ide/MonoDevelop.Components/InformationPopoverWidget.cs
@@ -35,6 +35,7 @@ namespace MonoDevelop.Components
 		TaskSeverity severity;
 		Xwt.ImageView imageView;
 		string message;
+		bool markup;
 		TooltipPopoverWindow popover;
 		PopupPosition popupPosition = PopupPosition.Top;
 
@@ -72,6 +73,14 @@ namespace MonoDevelop.Components
 			}
 		}
 
+		public bool UseMarkup {
+			get { return markup; }
+			set {
+				markup = value;
+				UpdatePopover ();
+			}
+		}
+
 		public PopupPosition PopupPosition {
 			get { return popupPosition; }
 			set {
@@ -127,7 +136,10 @@ namespace MonoDevelop.Components
 				popover.Destroy ();
 			popover = TooltipPopoverWindow.Create (!WorkaroundNestedDialogFlickering ());
 			popover.ShowArrow = true;
-			popover.Text = message;
+			if (markup)
+				popover.Markup = message;
+			else
+				popover.Text = message;
 			popover.Severity = severity;
 			popover.ShowPopup (this, popupPosition);
 		}