void HandlePainterRequest(object o, PainterRequestEventArgs args)
 {
     // just propagate the event up
     if (args.Type == ShowHideType.Show)
     {
         ShowPainter(args.Painter);
     }
     else
     {
         HidePainter(args.Painter);
     }
 }
示例#2
0
		void HandlePainterRequest (object o, PainterRequestEventArgs args)
		{
			// just propagate the event up
			if (args.Type == ShowHideType.Show)
				ShowPainter (args.Painter);
			else
				HidePainter (args.Painter);
		}
示例#3
0
		void ItemPainterRequest (object sender, PainterRequestEventArgs e)
		{
			AbstractDockItem owner = sender as AbstractDockItem;
			
			if (!Items.Contains (owner) || e.Painter == null)
				return;
			
			if (e.Type == ShowHideType.Show) {
				ShowPainter (owner, e.Painter);
			} else if (e.Type == ShowHideType.Hide && Painter == e.Painter) {
				HidePainter ();
			}
		}