protected void HidePainter (AbstractDockPainter painter)
{
if (PainterRequest != null && painter != null)
PainterRequest (this, new PainterRequestEventArgs (this, painter, ShowHideType.Hide));
}
public PainterRequestEventArgs (AbstractDockItem owner, AbstractDockPainter painter, ShowHideType type)
{
Owner = owner;
Painter = painter;
Type = type;
}
void ShowPainter (AbstractDockItem owner, AbstractDockPainter painter)
{
if (Painter != null || owner == null || painter == null)
return;
if (!painter.SupportsVertical && Preferences.IsVertical) {
Log<DockWindow>.Notify ("The docklet's painter only works on horizontal (bottom or top) docks.");
return;
}
painter.IsVertical = Preferences.IsVertical;
Painter = painter;
painterOwner = owner;
Painter.HideRequest += HandlePainterHideRequest;
Painter.PaintNeeded += HandlePainterPaintNeeded;
repaint_painter = true;
UpdateScreenRegions ();
DragTracker.DragDisabled = true;
SetTooltipVisibility ();
Painter.SetStyle (Style);
SetSizeRequest ();
Painter.Shown ();
Keyboard.Grab (GdkWindow, true, Gtk.Global.CurrentEventTime);
AnimatedDraw ();
}
