Font Family Preferences for Distilled Pages

chrome/android/java/src/org/chromium/chrome/browser/dom_distiller/DistilledPagePrefsView.java

Index: chrome/android/java/src/org/chromium/chrome/browser/dom_distiller/DistilledPagePrefsView.java
diff --git a/chrome/android/java/src/org/chromium/chrome/browser/dom_distiller/DistilledPagePrefsView.java b/chrome/android/java/src/org/chromium/chrome/browser/dom_distiller/DistilledPagePrefsView.java
index fc20132be0fd00abde1a8d2b602ee2f1df10a7df..3c989d13cd7739717af1b7620b11112486ea1a06 100644
--- a/chrome/android/java/src/org/chromium/chrome/browser/dom_distiller/DistilledPagePrefsView.java
+++ b/chrome/android/java/src/org/chromium/chrome/browser/dom_distiller/DistilledPagePrefsView.java
@@ -15,6 +15,7 @@ import android.widget.RadioGroup;
 import org.chromium.chrome.R;
 import org.chromium.chrome.browser.profiles.Profile;
 import org.chromium.components.dom_distiller.core.DistilledPagePrefs;
+import org.chromium.components.dom_distiller.core.FontFamily;
 import org.chromium.components.dom_distiller.core.Theme;
 
 import java.util.EnumMap;
@@ -107,6 +108,11 @@ public class DistilledPagePrefsView extends RadioGroup
 
     // DistilledPagePrefs.Observer
 
+    @Override
+    public void onChangeFontFamily(FontFamily fontFamily) {
+         // TODO(smaslo): add GUI and front end implementation for FontFamily.
+    }
+
     /**
      * Changes which button is selected if the theme is changed in another tab.
      */