Module prelude 

Traits

DockExt

DocumentWorkspaceExt

FrameHeaderExt

OmniBarExt

PanelFrameExt

PanelGridExt

PanelWidgetExt

SaveDelegateExt

SaveDelegateExtManual

WorkbenchExt

WorkspaceExt