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..4db1403e81dbf794dd317ef20aed322a16ff8739 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,13 @@ public class DistilledPagePrefsView extends RadioGroup |
// DistilledPagePrefs.Observer |
+ @Override |
+ public void onChangeFontFamily(FontFamily fontFamily) { |
+ /** |
+ * TODO(smaslo): add GUI and front end implementation for FontFamily. |
robliao
2014/08/11 22:00:45
A // style comment will suffice.
sunangel
2014/08/12 02:09:56
Done.
|
+ */ |
+ } |
+ |
/** |
* Changes which button is selected if the theme is changed in another tab. |
*/ |