From 155b4a267f6e7048274f76dafa2a2dd26c2afc62 Mon Sep 17 00:00:00 2001
From: Nicola Pero <n.pero@mi.flashnet.it>
Date: Wed, 22 May 2002 12:06:09 +0000
Subject: [PATCH] Updated for the fact the NSHighlightRect() no longer flushes
 the window

git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@13681 72102866-910b-0410-8b05-ffd578937521
---
 Source/NSTableHeaderView.m | 17 +++++++++++++----
 1 file changed, 13 insertions(+), 4 deletions(-)

diff --git a/Source/NSTableHeaderView.m b/Source/NSTableHeaderView.m
index 79d74d874..09e6fbe45 100644
--- a/Source/NSTableHeaderView.m
+++ b/Source/NSTableHeaderView.m
@@ -443,6 +443,7 @@
 			  NSHighlightRect (oldRect);
 			}
 		      NSHighlightRect (r);
+		      [_window flushWindow];
 		      lit = YES;
 		      oldRect = r;
 		    }
@@ -456,6 +457,7 @@
 		      if (lit)
 			{
 			  NSHighlightRect (oldRect);
+			  [_window flushWindow];
 			  lit = NO;
 			}
 		      tvRect = [_tableView visibleRect];
@@ -500,6 +502,7 @@
 	  if (lit == YES)
 	    {
 	      NSHighlightRect(oldRect);
+	      [_window flushWindow];
 	    }
 
 	  [self unlockFocus];
@@ -530,7 +533,7 @@
 	[[currentColumn headerCell]
 	  setBackgroundColor: [NSColor controlColor]];
 
-	[[currentColumn headerCell] 
+	[[currentColumn headerCell]
 	  highlight: YES
 	  withFrame: rect
 	  inView: self];
@@ -651,10 +654,12 @@
 			      if (lit)
 				NSHighlightRect(oldRect);
 			      NSHighlightRect(highlightRect);
+			      [_window flushWindow];
 			    }
 			  else if (!lit)
 			    {
 			      NSHighlightRect(highlightRect);
+			      [_window flushWindow];
 			    }
 			  oldRect = highlightRect;
 			  lit = YES;
@@ -672,13 +677,15 @@
 			    {
 			      if (lit)
 				NSHighlightRect(oldRect);
-			      //			      NSHighlightRect(highlightRect);
+			      //  NSHighlightRect(highlightRect);
+			      [_window flushWindow];
 			    }
 			  else if (!lit)
 			    {
-			      //			      NSHighlightRect(highlightRect);
+			      //  NSHighlightRect(highlightRect);
+			      // [_window flushWindow];
 			    }
-			  //			  oldRect = highlightRect;
+			  // oldRect = highlightRect;
 			  oldRect = NSZeroRect;
 			  lit = NO; //lit = YES;
 			}
@@ -690,6 +697,7 @@
 		      if (lit)
 			{
 			  NSHighlightRect(oldRect);
+			  [_window flushWindow];
 			  lit = NO;
 			  oldRect = NSZeroRect;
 			}
@@ -731,6 +739,7 @@
 	  if (lit)
 	    {
 	      NSHighlightRect(highlightRect);
+	      [_window flushWindow];
 	      lit = NO;
 	    }