getPreferenceStore( ).setValue( underline_prop, getUnderLinePropValue( ) ); getPreferenceStore( ).setValue( overline_prop, getOverLinePropValue( ) ); getPreferenceStore( ).setValue( line_through_prop, getLineThroughPropValue( ) );
if ( isDirty1 ) { getPreferenceStore( ).setValue( underline_prop, getUnderLinePropValue( ) ); } if ( isDirty2 ) { getPreferenceStore( ).setValue( overline_prop, getOverLinePropValue( ) ); } if ( isDirty3 ) { getPreferenceStore( ).setValue( line_through_prop, getLineThroughPropValue( ) ); }
	protected void doStore( )	{		getPreferenceStore( ).setValue( underline_prop, getUnderLinePropValue( ) );		getPreferenceStore( ).setValue( overline_prop, getOverLinePropValue( ) );		getPreferenceStore( ).setValue( line_through_prop,				getLineThroughPropValue( ) );	}