ウィジトのサイズ変更はだいたいのランチャーができるけど
そうじゃなくサイズ変更した枠に合わせ表示倍率の変更したいんだよNovaでいうところのパディング