Examples of palmed.edit.selection.SelectionReplacement

palmed.edit.selection.SelectionReplacement
This class implements an action to replace the selection with a character. @author Mathieu Champlon @version $Revision$ $Date$

        if( isValid( keyCode ) )
        {
            if( selection_.isEmpty() )
                execute( new CharacterInsertion( selection_, text_, (char)keyCode, insertion_ ) );
            else
                execute( new SelectionReplacement( selection_, text_, (char)keyCode, insertion_ ) );
        }
    }

View Full Code Here

TOP

Related Classes of palmed.edit.selection.SelectionReplacement

palmed.edit.Content

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.