internal void CreateDockPadding () { if (dock_padding == null) dock_padding = new DockPaddingEdges (this); }