|
@@ -8,6 +8,7 @@ import ui.model.Model;
|
|
import javax.swing.*;
|
|
import javax.swing.*;
|
|
import java.awt.*;
|
|
import java.awt.*;
|
|
import java.awt.event.MouseEvent;
|
|
import java.awt.event.MouseEvent;
|
|
|
|
+import java.awt.geom.Line2D;
|
|
import java.io.File;
|
|
import java.io.File;
|
|
import java.util.ArrayList;
|
|
import java.util.ArrayList;
|
|
import java.util.TimerTask;
|
|
import java.util.TimerTask;
|
|
@@ -261,7 +262,9 @@ public abstract class AbstractCanvas extends JPanel {
|
|
|
|
|
|
void setRightClickMenu(MouseEvent e) {
|
|
void setRightClickMenu(MouseEvent e) {
|
|
if (e.getButton() == MouseEvent.BUTTON3) {
|
|
if (e.getButton() == MouseEvent.BUTTON3) {
|
|
|
|
+ itemPaste.setEnabled(true);
|
|
if (tempCps != null) {
|
|
if (tempCps != null) {
|
|
|
|
+ itemPaste.setEnabled(true);
|
|
itemDelete.setEnabled(true);
|
|
itemDelete.setEnabled(true);
|
|
itemCut.setEnabled(true);
|
|
itemCut.setEnabled(true);
|
|
itemCopy.setEnabled(true);
|
|
itemCopy.setEnabled(true);
|
|
@@ -277,21 +280,29 @@ public abstract class AbstractCanvas extends JPanel {
|
|
if (model.getSelectedCpsObjects().size() == 0) {
|
|
if (model.getSelectedCpsObjects().size() == 0) {
|
|
controller.addSelectedObject(tempCps);
|
|
controller.addSelectedObject(tempCps);
|
|
}
|
|
}
|
|
- } else {
|
|
|
|
|
|
+ }else{
|
|
itemCut.setEnabled(false);
|
|
itemCut.setEnabled(false);
|
|
itemCopy.setEnabled(false);
|
|
itemCopy.setEnabled(false);
|
|
- itemDelete.setEnabled(false);
|
|
|
|
itemGroup.setEnabled(false);
|
|
itemGroup.setEnabled(false);
|
|
itemUngroup.setEnabled(false);
|
|
itemUngroup.setEnabled(false);
|
|
itemTrack.setEnabled(false);
|
|
itemTrack.setEnabled(false);
|
|
itemUntrack.setEnabled(false);
|
|
itemUntrack.setEnabled(false);
|
|
|
|
+ if(edgeHighlight != null)
|
|
|
|
+ {
|
|
|
|
+ itemDelete.setEnabled(true);
|
|
|
|
+ itemPaste.setEnabled(false);
|
|
|
|
+ }
|
|
|
|
+ else
|
|
|
|
+ {
|
|
|
|
+ itemDelete.setEnabled(false);
|
|
|
|
+ itemPaste.setEnabled(true);
|
|
|
|
+ }
|
|
}
|
|
}
|
|
mousePosition = this.getMousePosition();
|
|
mousePosition = this.getMousePosition();
|
|
popmenu.show(e.getComponent(), e.getX(), e.getY());
|
|
popmenu.show(e.getComponent(), e.getX(), e.getY());
|
|
}
|
|
}
|
|
}
|
|
}
|
|
-
|
|
|
|
-
|
|
|
|
|
|
+
|
|
void markObjects() {
|
|
void markObjects() {
|
|
if (doMark) {
|
|
if (doMark) {
|
|
doMark = false;
|
|
doMark = false;
|