2011-12-25 Linux Mint Linux ウィンドウマネージャがGnomeのままの場合、フォントサイズが特大、大、中、小しか 選べなかったので、MATEにして逃げることにした。 ログイン画面でログイン名の横に出ている発電所のような記号をクリックし 「MATE」を選択する。そのままパスワードを入力しログイン。 右下の「Menu」をクリックし「コントロールセンター」をクリックする。 ユーザー向けの、「外観の設定」をクリックし、「フォント」タブをクリック。 ここでフォントサイズを調整できる。