[PUSHED 3-5] fix various overlapped controls in the Options dialog

[Andras Timar]

Hi Ivan,

2012/2/5 Ivan Timofeev <timofeev.i.s at gmail.com>:
> Hi,
>
> There are some small UI fixes in 1535eed3d40d9741f3cdf68d32bc132e2a39f287 on
> master:
>

Pushed, thanks.
Andras