python3 の統合開発環境である spyder3。
エディタとコンソールのフォントサイズを変更するには、
メニュの ツール >> 設定 にある 設定設定パネル内から
「一般を選択」
「外見」タブの
フォント項目から フォントサイズを設定する。
設定項目は、
「プレーンテキスト」 （エディタとコンソール）
「リッチテキスト」 （ヘルプなどの使用方法についての文字）
がある。
［ 環境 ］
OS ： Linux Mint 19 xfce (64bit)
