Package javax.swing.text.DefaultHighlighter

Examples of javax.swing.text.DefaultHighlighter.DefaultHighlightPainter

202
203
204
205
206
207
208
209
210
211
212
                && PromptSupport.getFocusBehavior(txt) == FocusBehavior.HIGHLIGHT_PROMPT) {
            promptComponent.setForeground(txt.getSelectedTextColor());
            try {
                promptComponent.getHighlighter().addHighlight(0,
                        promptComponent.getText().length(),
                        new DefaultHighlightPainter(txt.getSelectionColor()));
            } catch (BadLocationException e) {
                e.printStackTrace();
            }
        } else {
            promptComponent.setForeground(PromptSupport.getForeground(txt));
View Full Code Here
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
    public void highlightComments() {
        try { // Highlight comments.
            String s = this.getScriptArea().getText();
           
            DefaultHighlightPainter painter = new DefaultHighlighter.DefaultHighlightPainter(Color.YELLOW);
           
            this.getScriptArea().getHighlighter().removeAllHighlights();
            boolean isComment = false;
            int beginCommentIndex = Integer.MAX_VALUE;
           
            int i;
            for (i = 0; i < s.length(); i++) {
                try {
                    if (s.substring(i, i + BEGIN_COMMENT.length()).equals(BEGIN_COMMENT)) {
                        if (!isComment) {
                            isComment = true;
                            beginCommentIndex = i;
                            i += BEGIN_COMMENT.length();
                        }
                    }
                } catch (Exception e) {}
   
                try {
                    if (s.substring(i, i + END_COMMENT.length()).equals(END_COMMENT)) {
                        isComment = false;
                        i += END_COMMENT.length();
       
                        try {
                            this.getScriptArea().getHighlighter().addHighlight(beginCommentIndex, i, painter);
                        } catch (BadLocationException e) {}
                    }
                } catch (Exception e) {}
            }
           
            // Highlight ending.
            if (isComment) {
                try {
                    this.getScriptArea().getHighlighter().addHighlight(beginCommentIndex, i, painter);
                } catch (BadLocationException e) {}
            }
           
        } catch (Exception e) {}
       
        try { // Highlight declarations.
            String s = this.getScriptArea().getText();
           
            DefaultHighlightPainter painter = new DefaultHighlighter.DefaultHighlightPainter(new Color(240, 240, 240));
           
            boolean isComment = false;
            int beginCommentIndex = Integer.MAX_VALUE;
           
            int i;
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
  private JTextArea getJTextArea() {
    if (jTextArea == null) {
      jTextArea = new JTextArea();
      jTextArea.setLineWrap(true);
     
      highlightPainter = new DefaultHighlightPainter(new Color(214, 186, 255));
      highlighter = new DefaultHighlighter();
      jTextArea.setHighlighter(highlighter);
     
      jTextArea.addKeyListener(new java.awt.event.KeyAdapter() {
        public void keyReleased(java.awt.event.KeyEvent e) {
View Full Code Here
175
176
177
178
179
180
181
182
183
184
185
    if (jRegExTextArea == null) {
      jRegExTextArea = new JTextArea();
      jRegExTextArea.setLineWrap(true);
      jRegExTextArea.setRows(3);
      jRegExTextArea.setBackground(new Color(199, 255, 191));
      highlightPainter = new DefaultHighlightPainter(new Color(255, 100, 100));
      highlighter = new DefaultHighlighter();
      jRegExTextArea.setHighlighter(highlighter);
      jRegExTextArea.addKeyListener(new java.awt.event.KeyAdapter() {  
        public void keyReleased(java.awt.event.KeyEvent e) {
          if (!e.isControlDown())
View Full Code Here
94
95
96
97
98
99
100
101
102
103
104
    removeHighlights();
   
    // use a default highlight painter with color Yellow to mark the words
    // in the text view
    DefaultHighlightPainter painter = new DefaultHighlightPainter(Color.YELLOW);
    Highlighter highlighter = _editorPane.getHighlighter();
   
    for(WordPosition pos : positions) {
     
      try {
View Full Code Here
TOP

Related Classes of javax.swing.text.DefaultHighlighter.DefaultHighlightPainter

  • asta.view.TextView
  • eas.math.fundamentalAlgorithms.graphBased.plugin.GraphBasedWindow
  • org.jdesktop.swingx.plaf.PromptTextUI
  • tvbrowser.extras.programinfo.ProgramInfoDialog
  • views.RegExTextPanel
  • views.TextPanel
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.