自分は4Kではありませんが環境設定の画面の解像度の変更からサイズ変更でできるんじゃないですかねぇ？一度お試しください。

ノディヤン パルナ 2019-02-09