| Index: components/dom_distiller/core/distilled_page_prefs_android.h
|
| diff --git a/components/dom_distiller/core/distilled_page_prefs_android.h b/components/dom_distiller/core/distilled_page_prefs_android.h
|
| index de3928eccecf18b4d4a11f1a7dfc4c0e7bedb058..11649e9276072ef5bb61bca68644a0abbee313a1 100644
|
| --- a/components/dom_distiller/core/distilled_page_prefs_android.h
|
| +++ b/components/dom_distiller/core/distilled_page_prefs_android.h
|
| @@ -24,6 +24,8 @@ class DistilledPagePrefsAndroid {
|
| jint GetFontFamily(JNIEnv* env, jobject obj);
|
| void SetTheme(JNIEnv* env, jobject obj, jint theme);
|
| jint GetTheme(JNIEnv* env, jobject obj);
|
| + void SetFontScaling(JNIEnv* env, jobject obj, jfloat scaling);
|
| + jfloat GetFontScaling(JNIEnv* env, jobject obj);
|
|
|
| void AddObserver(JNIEnv* env, jobject obj, jlong obs);
|
| void RemoveObserver(JNIEnv* env, jobject obj, jlong obs);
|
| @@ -43,6 +45,7 @@ class DistilledPagePrefsObserverAndroid : public DistilledPagePrefs::Observer {
|
| void OnChangeFontFamily(
|
| DistilledPagePrefs::FontFamily new_font_family) override;
|
| void OnChangeTheme(DistilledPagePrefs::Theme new_theme) override;
|
| + void OnChangeFontScaling(float scaling) override;
|
|
|
| virtual void DestroyObserverAndroid(JNIEnv* env, jobject obj);
|
|
|
|
|