?? 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 + -