void RenderFrame::viewCleared() { HTMLFrameElement* element = toHTMLFrameElement(node()); if (!element || !widget() || !widget()->isFrameView()) return; FrameView* view = toFrameView(widget()); int marginWidth = element->marginWidth(); int marginHeight = element->marginHeight(); if (marginWidth != -1) view->setMarginWidth(marginWidth); if (marginHeight != -1) view->setMarginHeight(marginHeight); }
HTMLFrameElement& RenderFrame::frameElement() const { return toHTMLFrameElement(RenderFrameBase::frameOwnerElement()); }
FrameEdgeInfo RenderFrame::edgeInfo() const { HTMLFrameElement* element = toHTMLFrameElement(node()); return FrameEdgeInfo(element->noResize(), element->hasFrameBorder()); }