void SetEmptyWidget()
        {
            WrappedCentreLabel label = new WrappedCentreLabel(MonoDevelop.Core.GettextCatalog.GetString(
                                                                  "An outline is not available for the current document."));

            label.Show();
            SetWidget(label);
        }
Ejemplo n.º 2
0
 void SetWidget(Gtk.Widget widget)
 {
     if (widget == null)
     {
         widget = new WrappedCentreLabel(MonoDevelop.Core.GettextCatalog.GetString(
                                             "An outline is not available for the current document."));
     }
     RemoveBoxChild();
     box.Add(widget);
     widget.Show();
     box.Show();
 }
Ejemplo n.º 3
0
		void SetWidget (Gtk.Widget widget)
		{
			if (widget == null)
				widget = new WrappedCentreLabel (MonoDevelop.Core.GettextCatalog.GetString (
			    	"An outline is not available for the current document."));
			RemoveBoxChild ();
			box.Add (widget);
			widget.Show ();
			box.Show ();
		}
		void SetEmptyWidget ()
		{
			WrappedCentreLabel label = new WrappedCentreLabel (MonoDevelop.Core.GettextCatalog.GetString (
			    "An outline is not available for the current document."));
			label.Show ();
			SetWidget (label);
		}