* Grants access to the preferences concerning the {@link EclipseTheme}.
* @return the model, not <code>null</code>
* @throws IllegalStateException if the model was removed or replaced by the client
*/
public EclipseThemePreferenceModel getEclipseThemePreferences(){
PreferenceModel model = getModel( new Path( "layout.EclipseTheme" ) );
if( model instanceof EclipseThemePreferenceModel ){
return (EclipseThemePreferenceModel)model;
}
else{
throw new IllegalStateException( "this model has been removed" );