Convert a common MetalTheme to a PgsTheme (using colors only)
/// (seems to be not required!)/
public PgsTheme(MetalTheme t) {
this(
t.getName(),
t.getPrimaryControlDarkShadow(), t.getPrimaryControlShadow(), t.getPrimaryControl(),
t.getControlDarkShadow(), t.getControlShadow(), t.getControl(),
t.getControlInfo(), t.getControlHighlight()
);
}//