Eclipse：エディタのフォントサイズを変更する

Android開発に使う統合開発環境であるEclipseは設定項目が多い。

Javaソースのフォントサイズ変更は
「ウインドウ」「設定」ー「Java」ー「Javaエディタ」ー「テキスト・フォント」

XMLファイル（これが最初分からなかった）のフォントサイズ変更は
「ウインドウ」ー「設定」ー「基本」ー「テキスト・フォント」