public void OnVisibilityChange(bool visible)
{
if (Build.VERSION.SdkInt >= BuildVersionCodes.Honeycomb)
{
if (controls_height == 0)
{
controls_height = activity.controlsView.Height;
}
if (short_anim_time == 0)
{
short_anim_time = activity.Resources.GetInteger(Android.Resource.Integer.ConfigShortAnimTime);
}
activity.controlsView.Animate().TranslationY(visible ? 0 : controls_height).SetDuration(short_anim_time);
}
else
{
activity.controlsView.Visibility = (visible ? ViewStates.Visible : ViewStates.Gone);
}
if (visible && FullScreenActivity.AUTO_HIDE)
{
activity.DelayedHide(FullScreenActivity.AUTO_HIDE_DELAY_MILLIS);
}
}
public bool OnTouch(View view, MotionEvent motion_event)
{
if (FullScreenActivity.AUTO_HIDE)
{
activity.DelayedHide(FullScreenActivity.AUTO_HIDE_DELAY_MILLIS);
}
return(false);
}