size

With some help of the Windows registry you can now change the width of Windows explorer borders. This can be nice in terms of style but also really handy since it will become far more easier to grab borders to