int position = getDotPosition();
//System.err.println( textPane.getCaretPosition() );
//System.err.print( "position = " );
//System.err.println( position );
/* put text in textPane */
PObject p = parser.del( position );
if( p == null ){
dotPosition = navigator.dots().get( position );
return;
}
//System.out.println( p.name() );
int length = 0;
length = p.name_array().length;
expression = parser.getExpression();
/* change dots to match */
int currentDot = navigator.dots().get( position );
navigator.dots().remove( position );
for( int i = position; i < navigator.dots().size(); ++i ){