GEF

FigureのAPI

FigureクラスのAPIにはFigure#repaint()というメソッドがある。このAPIは結構重要で、Figureのいろいろな再描画をするためのAPIとして重宝する。内部ではUpdateManager#addDirtyRegion(int x,int y,int width,int height)を呼び出しているだけですが、(かな…