突出显示JTextArea中的特定文本-Java

如何解决突出显示JTextArea中的特定文本-Java

我试图在JTextArea中快速突出显示我的特定文本。我需要的代码运行速度太慢，我想知道是否有一种更快的方法来突出显示文本而不会崩溃整个应用程序。 我有5000多个单词可以滚动浏览，看看是否需要突出显示它们，但是此代码对我而言效果不佳。我正在寻找一种更好的方法。这是我的代码：

    class MyHighlightPainter extends DefaultHighlighter.DefaultHighlightPainter 
{

    public MyHighlightPainter(Color color) {
        super(color);
    }
    
}
Highlighter.HighlightPainter myHighlightPainter = new MyHighlightPainter(Color.yellow);

public void Highligh(JTextComponent textComp,String pattern)
{
    try {
        Highlighter hilite = textComp.getHighlighter();
        Document doc = textComp.getDocument();
        String text = doc.getText(0,doc.getLength());
        for(int pos = 0; (pos=text.toUpperCase().indexOf(pattern.toUpperCase(),pos))>=0; pos += pattern.length())
            hilite.addHighlight(pos,pos+pattern.length(),myHighlightPainter);
    } catch (Exception e) {}
}

                public void keyReleased(KeyEvent arg0) {
                
                 String text = vocabolario.getText();
                 String[] parziale = new String[5000];
                 try {
                        String p1 = "SELECT definizione FROM Cherubini WHERE definizione LIKE '%",p2 = "%';",px = vocabolario.getText(),query = p1+px+p2;
                        ResultSet rs =  Main.conn().createStatement().executeQuery(query);
                       
                        while(rs.next())
                        {
                             String[] dati =  { rs.getString("definizione") };
                             for(int i = 0; i < dati.length; i++) { parziale[i] = dati[i]; textArea.append(parziale[i]+"\n"); }
                        }
                        
                 }
                 catch(SQLException exc) {}
                Highligh(textArea,vocabolario.getText());
            }
        });

解决方法

for(int pos = 0; (pos=text.toUpperCase().indexOf(pattern.toUpperCase(),pos))>=0; pos += pattern.length())

为什么要继续将数据转换为大写？只能执行一次：

String upperText = text.toUpperCase();
String upperPattern = pattern.toUpperCase();

for(int pos = 0; (pos = upperText.indexOf(upperPattern,pos)) >= 0; pos += pattern.length())