JavaScript calls: Do not internationalize numbers

Numbers were getting internationalized because the system's printf
with the %d format tries to use the localized, unicode representation
of the number (setHeight=١٩٦px). Bad idea for all languages where the
numbers are written differently.

Bug: 7176003 Android MR1- Gmail App issues with Arabic
Change-Id: I95799b05d64c78127227cee8d351facbce4bcefa
diff --git a/src/com/android/mail/ui/ConversationViewFragment.java b/src/com/android/mail/ui/ConversationViewFragment.java
index 7180f7c..6eac59d 100644
--- a/src/com/android/mail/ui/ConversationViewFragment.java
+++ b/src/com/android/mail/ui/ConversationViewFragment.java
@@ -618,7 +618,7 @@
         final int h = mWebView.screenPxToWebPx(newSpacerHeightPx);
         LogUtils.i(LAYOUT_TAG, "setting HTML spacer h=%dwebPx (%dscreenPx)", h,
                 newSpacerHeightPx);
-        mWebView.loadUrl(String.format("javascript:setMessageHeaderSpacerHeight('%s', %d);",
+        mWebView.loadUrl(String.format("javascript:setMessageHeaderSpacerHeight('%s', %s);",
                 mTemplates.getMessageDomId(item.message), h));
     }
 
@@ -630,7 +630,7 @@
         final int h = mWebView.screenPxToWebPx(newSpacerHeightPx);
         LogUtils.i(LAYOUT_TAG, "setting HTML spacer expanded=%s h=%dwebPx (%dscreenPx)",
                 item.isExpanded(), h, newSpacerHeightPx);
-        mWebView.loadUrl(String.format("javascript:setMessageBodyVisible('%s', %s, %d);",
+        mWebView.loadUrl(String.format("javascript:setMessageBodyVisible('%s', %s, %s);",
                 mTemplates.getMessageDomId(item.message), item.isExpanded(), h));
 
         mViewState.setExpansionState(item.message,