| Index: Source/core/rendering/RenderFrameSet.cpp
|
| diff --git a/Source/core/rendering/RenderFrameSet.cpp b/Source/core/rendering/RenderFrameSet.cpp
|
| index bc7938f7d33f4ec204da013861f7c15abd9a9433..42dfde73da8511f53ca157d720981f9bf0a28cfd 100644
|
| --- a/Source/core/rendering/RenderFrameSet.cpp
|
| +++ b/Source/core/rendering/RenderFrameSet.cpp
|
| @@ -514,7 +514,7 @@ void RenderFrameSet::positionFrames()
|
| if (width != child->width() || height != child->height()) {
|
| child->setWidth(width);
|
| child->setHeight(height);
|
| - child->setNeedsLayout();
|
| + child->setNeedsLayoutAndFullRepaint();
|
| child->layout();
|
| }
|
|
|
| @@ -554,7 +554,7 @@ void RenderFrameSet::continueResizing(GridAxis& axis, int position)
|
| return;
|
| axis.m_deltas[axis.m_splitBeingResized - 1] += delta;
|
| axis.m_deltas[axis.m_splitBeingResized] -= delta;
|
| - setNeedsLayout();
|
| + setNeedsLayoutAndFullRepaint();
|
| }
|
|
|
| bool RenderFrameSet::userResize(MouseEvent* evt)
|
|
|