commit 3ba455394dd3413b6246f00d2bf2083547862735
author John Reck <jreck@google.com> Thu Aug 11 16:26:53 2011 -0700
committer John Reck <jreck@google.com> Thu Aug 11 16:26:53 2011 -0700
tree 45456b6ded454a3a3ac2336dc53dccc395d438e0
parent e3da7d615be4710da92a79e6ed70dc1982deda4c

Don't hide the navscreen when going to bookmarks

 Bug: 5144826

Change-Id: If810b3d82c52265f841954f295f5974af9807a01

src/com/android/browser/UI.java

diff --git a/src/com/android/browser/UI.java b/src/com/android/browser/UI.java
index 0929c0c..a9cbd7b 100644
--- a/src/com/android/browser/UI.java
+++ b/src/com/android/browser/UI.java
@@ -122,7 +122,9 @@
     public void setShouldShowErrorConsole(Tab tab, boolean show);
 
     // returns if the web page is clear of any overlays (not including sub windows)
-    public boolean showsWeb();
+    public boolean isWebShowing();
+
+    public void showWeb(boolean animate);
 
     Bitmap getDefaultVideoPoster();