我对设置边界的“速度”有疑问。我有一个带有多个 JTextPane 的显示器(大约 450 个,需要什么),它们经常更新(取决于用户输入)。这是设置边框功能:
private void setBorder(int top, int left, int bottom, int right, Color color)
{
Args.checkForNull(color);
this.setBorder(BorderFactory.createMatteBorder(top, left, bottom, right, color));
}
你能给我一些提示,如何提高边界变化的速度?我的意思是这部分:
this.setBorder(BorderFactory.createMatteBorder(top, left, bottom, right, color));
就像是:
tmp = this.getStyledDocument();
this.setDocument(blank);
if(onOff){
tmp.setParagraphAttributes(0, tmp.getLength(), underlinedAttr, false);
}
else{
tmp.setParagraphAttributes(0, tmp.getLength(), notUnderlinedAttr, false);
}
this.setDocument(tmp);
谢谢!