Font size in DomDistiller prefs syncs with local scaling

components/dom_distiller/android/java/src/org/chromium/components/dom_distiller/core/DistilledPagePrefs.java

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 package org.chromium.components.dom_distiller.core;
 
 import org.chromium.base.CalledByNative;
 import org.chromium.base.JNINamespace;
 import org.chromium.base.NativeCall;
 
 import java.util.HashMap;
 import java.util.Map;
 
 /**
  * Wrapper for the dom_distiller::DistilledPagePrefs.
  */
 @JNINamespace("dom_distiller::android")
 public final class DistilledPagePrefs {
 
     private final long mDistilledPagePrefsAndroid;
     private Map<Observer, DistilledPagePrefsObserverWrapper> mObserverMap;
 
     /**
      * Observer interface for observing DistilledPagePrefs changes.
      */
     public interface Observer {
         void onChangeFontFamily(FontFamily font);
         void onChangeTheme(Theme theme);
+        void onChangeFontScaling(float scaling);
     }
 
     /**
      * Wrapper for dom_distiller::android::DistilledPagePrefsObserverAndroid.
      */
     private static class DistilledPagePrefsObserverWrapper {
         private final Observer mDistilledPagePrefsObserver;
         private final long mNativeDistilledPagePrefsObserverAndroidPtr;
 
         public DistilledPagePrefsObserverWrapper(Observer observer) {
             mNativeDistilledPagePrefsObserverAndroidPtr = nativeInitObserverAndroid();
             mDistilledPagePrefsObserver = observer;
         }
 
         @CalledByNative("DistilledPagePrefsObserverWrapper")
         private void onChangeFontFamily(int fontFamily) {
             mDistilledPagePrefsObserver.onChangeFontFamily(
                     FontFamily.getFontFamilyForValue(fontFamily));
         }
 
         @CalledByNative("DistilledPagePrefsObserverWrapper")
         private void onChangeTheme(int theme) {
             mDistilledPagePrefsObserver.onChangeTheme(Theme.getThemeForValue(theme));
         }
 
+        @CalledByNative("DistilledPagePrefsObserverWrapper")
+        private void onChangeFontScaling(float scaling) {
+            mDistilledPagePrefsObserver.onChangeFontScaling(scaling);
+        }
+
         public void destroy() {
             nativeDestroyObserverAndroid(mNativeDistilledPagePrefsObserverAndroidPtr);
         }
 
         public long getNativePtr() {
             return mNativeDistilledPagePrefsObserverAndroidPtr;
         }
 
         @NativeCall("DistilledPagePrefsObserverWrapper")
         private native long nativeInitObserverAndroid();
@@ skipping 42 matching lines @@
     }
 
     public void setTheme(Theme theme) {
         nativeSetTheme(mDistilledPagePrefsAndroid, theme.asNativeEnum());
     }
 
     public Theme getTheme() {
         return Theme.getThemeForValue(nativeGetTheme(mDistilledPagePrefsAndroid));
     }
 
+    public void setFontScaling(float scaling) {
+        nativeSetFontScaling(mDistilledPagePrefsAndroid, scaling);
+    }
+
+    public float getFontScaling() {
+        return nativeGetFontScaling(mDistilledPagePrefsAndroid);
+    }
+
     private native long nativeInit(long distilledPagePrefPtr);
 
     private native void nativeSetFontFamily(long nativeDistilledPagePrefsAndroid, int fontFamily);
 
     private native int nativeGetFontFamily(long nativeDistilledPagePrefsAndroid);
 
     private native void nativeSetTheme(long nativeDistilledPagePrefsAndroid, int theme);
 
     private native int nativeGetTheme(long nativeDistilledPagePrefsAndroid);
 
+    private native void nativeSetFontScaling(long nativeDistilledPagePrefsAndroid, float scaling);
+
+    private native float nativeGetFontScaling(long nativeDistilledPagePrefsAndroid);
+
     private native void nativeAddObserver(long nativeDistilledPagePrefsAndroid,
             long nativeObserverPtr);
 
     private native void nativeRemoveObserver(long nativeDistilledPagePrefsAndroid,
             long nativeObserverPtr);
 }