🌈 搜索
📅  最后修改于: 2022-03-11 14:52:03.340000             🧑  作者: Mango
JtextArea.setHighlighter(null);