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

Highlight specific text in 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())