title: Changing the ActionBar hide animation?
body: <p>By default in Android 3.0+, when ActionBar.hide()/show() are called the bar is animated with a brief fade in/out animation. </p>
  
  <p>There does not seem to be an XML style attribute <a href="http://developer.android.com/reference/android/R.styleable.html#Theme_actionBarStyle">in this list</a> associated with an animation resource. </p>
  
  <p>Is there some way to change this animation? In my case, I simply want to change the animation time, but is it also possible to have a sliding animation?</p>