- else if ( key.equals( "graphics_export_x" ) ) {
- // final String str = ( ( String ) st.nextElement() ).trim();
- // final int i = parseInt( str );
- // if ( i > 0 ) {
- // setGraphicsExportX( i );
- // }
- }
- else if ( key.equals( "graphics_export_y" ) ) {
- //final String str = ( ( String ) st.nextElement() ).trim();
- // final int i = parseInt( str );
- //if ( i > 0 ) {
- // setGraphicsExportY( i );
- //}
- }