>>757
Ctrl+中ドラッグでパネル内は拡縮できるぞ。しかし>>758は
知らなかったのでPreferenceを探してみたらSystemのDPIで全部拡縮できた。

UEもBlenderくらいユーザーに優しければなあ。