private TextFileInputFieldInterface getFieldOnPosition( int x ) { for ( int i = 0; i < fields.size(); i++ ) { TextFileInputFieldInterface field = fields.get( i ); int pos = field.getPosition(); int len = field.getLength(); if ( pos <= x && pos + len > x ) { return field; } } return null; }
private boolean fieldExists( String name ) { for ( int i = 0; i < fields.size(); i++ ) { TextFileInputFieldInterface field = fields.get( i ); if ( name.equalsIgnoreCase( field.getName() ) ) { return true; } } return false; }
TextFileInputFieldInterface field = fields.get( i ); int pos = field.getPosition(); int len = field.getLength(); int newlength = prevfield.getLength() - ( x - prevfield.getPosition() ); TextFileInputFieldInterface field = prevfield.createNewInstance( getNewFieldname(), x, newlength ); fields.add( highest_smaller + 1, field ); prevfield.setLength( x - prevfield.getPosition() ); prevfield.setLength( prevfield.getLength() + field.getLength() );
@Override public int compareTo( TextFileInputFieldInterface field ) { return position - field.getPosition(); }
public void mouseMove( MouseEvent e ) { int posx = (int) Math.round( (double) ( e.x - LEFT - MARGIN - offset.x ) / ( (double) fontwidth ) ); // Clicked and mouse is down: move marker to a new location... if ( potential_click >= 0 ) { if ( posx > 0 ) { potential_click = posx; redraw(); } } TextFileInputFieldInterface field = getFieldOnPosition( posx ); if ( field != null && !field.getName().equalsIgnoreCase( prevfieldname ) ) { setToolTipText( field.getName() + " : length=" + field.getLength() ); prevfieldname = field.getName(); } } } );
@Override public int compareTo( TextFileInputFieldInterface field ) { return position - field.getPosition(); }
gc.setBackground( red ); for ( int i = 0; i < fields.size(); i++ ) { int x = ( fields.get( i ) ).getPosition(); if ( x >= fromx && x <= tox ) { drawMarker( gc, x, area.y );