Scroll header view too as a consequence of clip view scrolled (if needed)

git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@6682 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
Nicola Pero 2000-06-15 18:03:53 +00:00
parent d0ea8d9369
commit 7ec7b23e85

View file

@ -461,6 +461,23 @@ static Class rulerViewClass = nil;
knobProportion: knobProportion];
}
}
if (_hasHeaderView)
{
NSPoint headerClipViewOrigin;
headerClipViewOrigin = [_headerClipView bounds].origin;
// If needed, scroll the headerview too
if (headerClipViewOrigin.x != clipViewBounds.origin.x)
{
headerClipViewOrigin.x = clipViewBounds.origin.x;
headerClipViewOrigin = [_headerClipView constrainScrollPoint:
headerClipViewOrigin];
[_headerClipView scrollToPoint: headerClipViewOrigin];
}
}
}
- (void) setHorizontalRulerView: (NSRulerView*)aRulerView // FIX ME