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;