public CKeyStrokePreferenceModel( DockProperties properties ){
super( properties.getController() );
add( initSelector = new KeyStrokeInitSelectorPreference( properties ));
add( maskNoCombination = new ModifierMaskNoCombinationPreference( properties ));
add( maskScreenOnly = new ModifierMaskScreenOnlyPreference( properties ));
add( maximizeChange = new KeyStrokeMaximizeChangePreference( properties ) );
add( maximize = new KeyStrokeMaximizePreference( properties ));
add( normalize = new KeyStrokeNormalizePreference( properties ));
add( minimize = new KeyStrokeMinimizePreference( properties ));