diff options
| author | Paul Rouget <me@paulrouget.com> | 2018-10-05 12:44:58 +0200 |
|---|---|---|
| committer | Paul Rouget <me@paulrouget.com> | 2018-10-06 07:57:07 +0200 |
| commit | 5ddb8d577f05ebbcb3185e0472d487678c966983 (patch) | |
| tree | e6311661980b4ab8491c81676f5f34af264f2fb2 /support/android | |
| parent | e0ce73abb2df4163fb72f35a803701bf662fb0f7 (diff) | |
| download | servo-5ddb8d577f05ebbcb3185e0472d487678c966983.tar.gz servo-5ddb8d577f05ebbcb3185e0472d487678c966983.zip | |
Disable subpixel text antialiasing for ServoSurface
Diffstat (limited to 'support/android')
3 files changed, 3 insertions, 0 deletions
diff --git a/support/android/apk/servoview/src/main/java/org/mozilla/servoview/JNIServo.java b/support/android/apk/servoview/src/main/java/org/mozilla/servoview/JNIServo.java index 2184f6e805e..004b91888a5 100644 --- a/support/android/apk/servoview/src/main/java/org/mozilla/servoview/JNIServo.java +++ b/support/android/apk/servoview/src/main/java/org/mozilla/servoview/JNIServo.java @@ -60,6 +60,7 @@ public class JNIServo { public int width = 0; public int height = 0; public float density = 1; + public boolean enableSubpixelTextAntialiasing = true; public String logStr; public boolean enableLogs = false; } diff --git a/support/android/apk/servoview/src/main/java/org/mozilla/servoview/ServoSurface.java b/support/android/apk/servoview/src/main/java/org/mozilla/servoview/ServoSurface.java index a0ca1969542..84dab5500ca 100644 --- a/support/android/apk/servoview/src/main/java/org/mozilla/servoview/ServoSurface.java +++ b/support/android/apk/servoview/src/main/java/org/mozilla/servoview/ServoSurface.java @@ -213,6 +213,7 @@ public class ServoSurface { options.url = mInitialUri == null ? null : mInitialUri; options.logStr = mServoLog; options.enableLogs = true; + options.enableSubpixelTextAntialiasing = false; mServo = new Servo(options, this, surface, mClient, mActivity); }); diff --git a/support/android/apk/servoview/src/main/java/org/mozilla/servoview/ServoView.java b/support/android/apk/servoview/src/main/java/org/mozilla/servoview/ServoView.java index c93db5c170f..fadf71f706d 100644 --- a/support/android/apk/servoview/src/main/java/org/mozilla/servoview/ServoView.java +++ b/support/android/apk/servoview/src/main/java/org/mozilla/servoview/ServoView.java @@ -141,6 +141,7 @@ public class ServoView extends GLSurfaceView options.width = getWidth(); options.height = getHeight(); options.enableLogs = true; + options.enableSubpixelTextAntialiasing = true; DisplayMetrics metrics = new DisplayMetrics(); mActivity.getWindowManager().getDefaultDisplay().getMetrics(metrics); options.density = metrics.density; |