📄 fullrepaintmanager.java
字号:
import javax.swing.RepaintManager;import javax.swing.JComponent;import java.awt.Container;public class FullRepaintManager extends RepaintManager { public void addDirtyRegion(JComponent comp, int x, int y, int w, int h) { super.addDirtyRegion(comp,x,y,w,h); JComponent root = getRootJComponent(comp); // to avoid a recursive infinite loop if(comp != root) { super.addDirtyRegion(root,0,0,root.getWidth(),root.getHeight()); } } public JComponent getRootJComponent(JComponent comp) { Container parent = comp.getParent(); if(parent instanceof JComponent) { return getRootJComponent((JComponent)parent); } return comp; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -