m_marginHeight    118 Source/core/html/HTMLFrameElementBase.cpp         m_marginHeight = value.toInt();
m_marginHeight     37 Source/core/html/HTMLFrameElementBase.h     int marginHeight() const { return m_marginHeight; }
m_marginHeight     74 Source/core/html/HTMLFrameElementBase.h     int m_marginHeight;