gnustep/libs-gui
0
0
Fork 0
mirror of https://github.com/gnustep/libs-gui.git synced 2025-05-31 22:10:47 +00:00
Code Issues Projects Releases Packages Wiki Activity

Updated for the fact the NSHighlightRect() no longer flushes the window

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@13681 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Nicola Pero 2002-05-22 12:06:09 +00:00
parent 68a815cb1b
commit 155b4a267f
1 changed files with 13 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
Source/NSTableHeaderView.m
View file

@ -443,6 +443,7 @@
NSHighlightRect (oldRect); NSHighlightRect (oldRect);
} }
NSHighlightRect (r); NSHighlightRect (r);
[_window flushWindow];
lit = YES; lit = YES;
oldRect = r; oldRect = r;
} }
@ -456,6 +457,7 @@
if (lit) if (lit)
{ {
NSHighlightRect (oldRect); NSHighlightRect (oldRect);
[_window flushWindow];
lit = NO; lit = NO;
} }
tvRect = [_tableView visibleRect]; tvRect = [_tableView visibleRect];
@ -500,6 +502,7 @@
if (lit == YES) if (lit == YES)
{ {
NSHighlightRect(oldRect); NSHighlightRect(oldRect);
[_window flushWindow];
} }
[self unlockFocus]; [self unlockFocus];
@ -651,10 +654,12 @@
if (lit) if (lit)
NSHighlightRect(oldRect); NSHighlightRect(oldRect);
NSHighlightRect(highlightRect); NSHighlightRect(highlightRect);
[_window flushWindow];
} }
else if (!lit) else if (!lit)
{ {
NSHighlightRect(highlightRect); NSHighlightRect(highlightRect);
[_window flushWindow];
} }
oldRect = highlightRect; oldRect = highlightRect;
lit = YES; lit = YES;
@ -673,10 +678,12 @@
if (lit) if (lit)
NSHighlightRect(oldRect); NSHighlightRect(oldRect);
// NSHighlightRect(highlightRect); // NSHighlightRect(highlightRect);
[_window flushWindow];
} }
else if (!lit) else if (!lit)
{ {
// NSHighlightRect(highlightRect); // NSHighlightRect(highlightRect);
// [_window flushWindow];
} }
// oldRect = highlightRect; // oldRect = highlightRect;
oldRect = NSZeroRect; oldRect = NSZeroRect;
@ -690,6 +697,7 @@
if (lit) if (lit)
{ {
NSHighlightRect(oldRect); NSHighlightRect(oldRect);
[_window flushWindow];
lit = NO; lit = NO;
oldRect = NSZeroRect; oldRect = NSZeroRect;
} }
@ -731,6 +739,7 @@
if (lit) if (lit)
{ {
NSHighlightRect(highlightRect); NSHighlightRect(highlightRect);
[_window flushWindow];
lit = NO; lit = NO;
} }