From 33abe793abfbc2c49701bf90f8f612b5bfe029c4 Mon Sep 17 00:00:00 2001
From: Jack Palevich <jackpal@google.com>
Date: Sat, 14 Apr 2012 12:22:39 -0700
Subject: [PATCH] Use FloatMath.ceil instead of Math.ceil

Apparently slightly faster.

This is a Lint suggestion.
---
 src/jackpal/androidterm/EmulatorView.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/jackpal/androidterm/EmulatorView.java b/src/jackpal/androidterm/EmulatorView.java
index 696c352..2c9af23 100644
--- a/src/jackpal/androidterm/EmulatorView.java
+++ b/src/jackpal/androidterm/EmulatorView.java
@@ -33,6 +33,7 @@ import android.os.Bundle;
 import android.os.Handler;
 import android.text.ClipboardManager;
 import android.util.DisplayMetrics;
+import android.util.FloatMath;
 import android.util.Log;
 import android.view.GestureDetector;
 import android.view.KeyCharacterMap;
@@ -1189,8 +1190,8 @@ class PaintRenderer extends BaseTextRenderer {
         mTextPaint.setAntiAlias(true);
         mTextPaint.setTextSize(fontSize);
 
-        mCharHeight = (int) Math.ceil(mTextPaint.getFontSpacing());
-        mCharAscent = (int) Math.ceil(mTextPaint.ascent());
+        mCharHeight = (int) FloatMath.ceil(mTextPaint.getFontSpacing());
+        mCharAscent = (int) FloatMath.ceil(mTextPaint.ascent());
         mCharDescent = mCharHeight + mCharAscent;
         mCharWidth = mTextPaint.measureText(EXAMPLE_CHAR, 0, 1);
     }