file->settings->colors&fonts-> save as (save the current scheme as your own)-> font- >change size
转载于:https://www.cnblogs.com/yaos/p/7059084.html
file->settings->colors&fonts-> save as (save the current scheme as your own)-> font- >change size
转载于:https://www.cnblogs.com/yaos/p/7059084.html