Merge "Tweak title bar animation"
diff --git a/src/com/android/browser/BaseUi.java b/src/com/android/browser/BaseUi.java
index ad45958..bcb18f1 100644
--- a/src/com/android/browser/BaseUi.java
+++ b/src/com/android/browser/BaseUi.java
@@ -872,7 +872,7 @@
} else if (visibleTitleHeight == getTitleBar().getEmbeddedHeight()
&& mHandler.hasMessages(MSG_HIDE_TITLEBAR)) {
mHandler.removeMessages(MSG_HIDE_TITLEBAR);
- hideTitleBar();
+ suggestHideTitleBar();
}
} else if (scrollY > mLastScrollY) {
mLastScrollY = scrollY;
diff --git a/src/com/android/browser/Tab.java b/src/com/android/browser/Tab.java
index bc5868f..c78b562 100644
--- a/src/com/android/browser/Tab.java
+++ b/src/com/android/browser/Tab.java
@@ -799,6 +799,22 @@
handler.ignore();
return;
}
+ int colon = host_and_port.lastIndexOf(':');
+ String host;
+ int port;
+ if (colon == -1) {
+ host = host_and_port;
+ port = -1;
+ } else {
+ String portString = host_and_port.substring(colon + 1);
+ try {
+ port = Integer.parseInt(portString);
+ host = host_and_port.substring(0, colon);
+ } catch (NumberFormatException e) {
+ host = host_and_port;
+ port = -1;
+ }
+ }
KeyChain.choosePrivateKeyAlias(mActivity, new KeyChainAliasCallback() {
@Override public void alias(String alias) {
if (alias == null) {
@@ -807,7 +823,7 @@
}
new KeyChainLookup(mActivity, handler, alias).execute();
}
- }, null, null, null, -1);
+ }, null, null, host, port, null);
}
/**