Ejemplos de DefaultStyledDocument.setCharacterAttributes en Java

Ejemplo n.º 1

Archivo: InterpreterFrame.java Proyecto: DavePearce/jkit

 private void highlightArea(int pos, int len, String col) {
   SimpleAttributeSet attrs = new SimpleAttributeSet();
   StyleConstants.setForeground(attrs, getColour(col));
   document.setCharacterAttributes(pos, len, attrs, true);
 }