// Also update the cursor image if the window becomes visible
// (e.g. when a window covering it got iconified).
void VisibilityNotify (object sender, VisibilityNotifyEventArgs a)
{
TextView view = sender as TextView;
int wx, wy, bx, by;
view.GetPointer (out wx, out wy);
view.WindowToBufferCoords (TextWindowType.Widget, wx, wy, out bx, out by);
SetCursorIfAppropriate (view, bx, by);
}
private void VisibilityNotify(object o, VisibilityNotifyEventArgs args)
{
if (m_animate)
if (args.Event.State == Gdk.VisibilityState.FullyObscured)
TimeoutRemove ();
else
TimeoutAdd ();
}
protected void NowVisible(object o, VisibilityNotifyEventArgs args)
{
throw new NotImplementedException ();
}
void HandleVisibilityNotifyEvent(object o, VisibilityNotifyEventArgs args)
{
this.QueueDraw ();
}
private void OnVisible(object o, VisibilityNotifyEventArgs args)
{
if (args.Event.State == Gdk.VisibilityState.FullyObscured)
IdleRemove ();
else
IdleAdd ();
}
