Fractional values for the content view of a Tab

[Riccardo Mottola]

Hi,

I propose the patch below (in the quest of why MDIndexer has a blurry 
UI). It solves the visualization inside Gorm, which now looks correct, 
but it still doesn't fix the visualization inside SystemPreferences.

What do you think?

Riccardo

Index: Source/NSTabView.m
===================================================================
--- Source/NSTabView.m  (revision 36181)
+++ Source/NSTabView.m  (working copy)
@@ -390,7 +390,7 @@
   switch (_type)
     {
       case NSTopTabsBezelBorder:
-        return NSMakeSize(2, 19.5);
+        return NSMakeSize(2, 19);
       case NSNoTabsBezelBorder:
         return NSMakeSize(2, 3);
       case NSNoTabsLineBorder:
@@ -421,19 +421,19 @@
     {
       case NSTopTabsBezelBorder:
         cRect.origin.y += 1;
-        cRect.origin.x += 0.5;
+        cRect.origin.x += 1;
         cRect.size.width -= 2;
-        cRect.size.height -= 18.5;
+        cRect.size.height -= 19;
         break;
       case NSNoTabsBezelBorder:
         cRect.origin.y += 1;
-        cRect.origin.x += 0.5;
+        cRect.origin.x += 1;
         cRect.size.width -= 2;
         cRect.size.height -= 2;
         break;
       case NSNoTabsLineBorder:
         cRect.origin.y += 1;
-        cRect.origin.x += 0.5;
+        cRect.origin.x += 1;
         cRect.size.width -= 2;
         cRect.size.height -= 2;
         break;