fix overlapping labels and boxes when user has large GTK font
authorPaul <paul@claws-mail.org>
Wed, 12 Mar 2014 11:48:41 +0000 (11:48 +0000)
committerPaul <paul@claws-mail.org>
Wed, 12 Mar 2014 11:48:41 +0000 (11:48 +0000)
commitda40f46bb5806f304ffafef618bdbc4f78defbcf
treecb2263157f33a3cc3170fe6f4a9322e4ef740fbd
parentb6c563983a8cea0c13859f3b9bcd80cd8ec011ed
fix overlapping labels and boxes when user has large GTK font
src/prefs_matcher.c