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 (); }