News for hackers. Stuff that matters.

A comment on Mint 17.3 may be the best Linux desktop distro yet. Parent comment

Re:Mint 17.3 may be the best Linux desktop distro yet by shonn on Saturday December 26, 2015 @04:00PM (#10795295)
Different styles have different window border widths. This aggravated me until I found out.

Settings->Appearance->Style.

[ Parent | on HN ]

There are no comments on this comment yet.