Windows10のウィンドウ境界の間隔を変える
ウィンドウの縁の幅の話。
Windows10にアップグレードしたら1ドットくらいになって嬉しかったんだけどWindows Updateかけたら以前のOSのデフォルトくらいに戻ってしまった。
このくらい。
設定
Windows7だったら コントロール パネル\デスクトップのカスタマイズ\個人設定
あたりから詳細設定が変えられた気がするんだけど見あたらない…
調べた
ウィンドウ枠の幅を変えられますか? - マイクロソフト コミュニティ
Windows8から設定箇所が消えているらしいけど、レジストリをいじれば変更可能とのこと。
早速 HKEY_CURRENT_USER\Control Panel\Desktop\WindowMetrics\PaddedBorderWidth
の値を0にして再ログイン。
いい感じ。