23 Sep
2011
23 Sep
'11
9:17 p.m.
On Fri, 23 Sep 2011 15:06:51 -0400, Johannes Hofmann <Johannes.Hofmann at gmx.de> wrote:
it's pretty hard to please everyone when it comes to the look of the UI - and vertical screen space is a sparse resource.
Cheers, Johannes
Surely adding four pixels to the tab height isn't wasting screen space? It's hardly a dramatic change, yet it dramatically improves the tab appearance and readability: http://dillo-win32.sourceforge.net/dillo/screenshots.php?closeup=Z02-dillo3-... Here's my patch; the line of interest is in the second section: http://dillo-win32.sourceforge.net/patches/23-tabs.diff ~Benjamin