コード例 #1
0
 private void onEdgesGraphComponentChanged(EdgesGraphComponent edgesGraphComponent, boolean put) {
   if (put) {
     _desktopPane.putGraphComponents(new GraphComponent[] {edgesGraphComponent});
   } else {
     _desktopPane.removeGraphComponents(new GraphComponent[] {edgesGraphComponent});
   }
   _desktopPane.repaint();
 }
コード例 #2
0
 public void repaint() {
   _desktopPane.repaint();
 }