commit 6cda7b14ac7a19f49cb3d169b9c23ad52eb0bc52
author John Reck <jreck@google.com> Fri Mar 18 15:57:13 2011 -0700
committer John Reck <jreck@google.com> Fri Mar 18 15:58:26 2011 -0700
tree 98614ff991bc1109a2323a967852266b8e5a274c
parent ef768bb7ff6dce1fc172797ca79fd381bd1c77da

Hack to workaround b/4136071

Change-Id: Idea9fe38cb44c454bd3e850ef487118aa025d5e7

src/com/android/browser/PhoneUi.java

diff --git a/src/com/android/browser/PhoneUi.java b/src/com/android/browser/PhoneUi.java
index 290ddf6..dd68e85 100644
--- a/src/com/android/browser/PhoneUi.java
+++ b/src/com/android/browser/PhoneUi.java
@@ -19,6 +19,7 @@
 import android.app.Activity;
 import android.content.Context;
 import android.graphics.PixelFormat;
+import android.os.Handler;
 import android.util.Log;
 import android.view.ActionMode;
 import android.view.Gravity;
@@ -238,6 +239,17 @@
     }
 
     @Override
+    public void onActionModeFinished(boolean inLoad) {
+        // TODO: Remove once b/4136071 is fixed
+        new Handler().post(new Runnable() {
+            @Override
+            public void run() {
+                mActivity.getActionBar().hide();
+            }
+        });
+    }
+
+    @Override
     public boolean dispatchKey(int code, KeyEvent event) {
         return false;
     }