Esempio n. 1
0
 /** Sets the width of the line when selected */
 public void setSelected(int value) {
   super.setSelected(value);
   TableFigure tableFigure = (TableFigure) getFigure();
   if (value != EditPart.SELECTED_NONE) tableFigure.setSelected(true);
   else tableFigure.setSelected(false);
   tableFigure.repaint();
 }
Esempio n. 2
0
 /** @see org.eclipse.gef.EditPart#deactivate() */
 public void deactivate() {
   super.deactivate();
 }
Esempio n. 3
0
 /** @see org.eclipse.gef.EditPart#activate() */
 public void activate() {
   super.activate();
 }