1. 概要 少なくとも、「GNOME 40.0」より前であれば、「Tweaks」でフォントを変更できていました。 2. インストール 「Tweaks」が必要ですので、もし、インストールされていなければ、インストールします。 3. 設定 以下、「Ubuntu 19.10」の画像です。 「Tweaks」を起動。 「フォント」タブで それぞれのフォントをクリックして
「フォント」「サイズ」を設定して 「選択」
これで、変更できます。