|
@@ -40,6 +40,7 @@ import holeg.ui.model.DecoratedGroupNode;
|
|
import holeg.ui.model.DecoratedHolonObject;
|
|
import holeg.ui.model.DecoratedHolonObject;
|
|
import holeg.ui.model.DecoratedSwitch;
|
|
import holeg.ui.model.DecoratedSwitch;
|
|
import holeg.ui.model.ExitCable;
|
|
import holeg.ui.model.ExitCable;
|
|
|
|
+import holeg.ui.model.GuiSettings;
|
|
import holeg.ui.model.Model;
|
|
import holeg.ui.model.Model;
|
|
import holeg.ui.model.Passiv;
|
|
import holeg.ui.model.Passiv;
|
|
import holeg.ui.model.Supplier;
|
|
import holeg.ui.model.Supplier;
|
|
@@ -79,10 +80,9 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
this.controller = control;
|
|
this.controller = control;
|
|
this.model = mod;
|
|
this.model = mod;
|
|
|
|
|
|
- scalediv20 = model.getScale() / 20;
|
|
|
|
|
|
+ scalediv20 = GuiSettings.getPictureScale() / 20;
|
|
|
|
|
|
showConnectionInformation = true;
|
|
showConnectionInformation = true;
|
|
- control.setMaxCapacity(10000);
|
|
|
|
popmenu.add(itemCut);
|
|
popmenu.add(itemCut);
|
|
popmenu.add(itemCopy);
|
|
popmenu.add(itemCopy);
|
|
popmenu.add(itemPaste);
|
|
popmenu.add(itemPaste);
|
|
@@ -236,7 +236,7 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
|
|
|
|
itemAlign.addActionListener(actionEvent -> {
|
|
itemAlign.addActionListener(actionEvent -> {
|
|
for (AbstractCanvasObject cps : model.getSelectedObjects())
|
|
for (AbstractCanvasObject cps : model.getSelectedObjects())
|
|
- align(cps, Model.getScaleDiv2());
|
|
|
|
|
|
+ align(cps, GuiSettings.getPictureScaleDiv2());
|
|
repaint();
|
|
repaint();
|
|
});
|
|
});
|
|
itemPaste.addActionListener(actionEvent -> {
|
|
itemPaste.addActionListener(actionEvent -> {
|
|
@@ -273,17 +273,17 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
Vector2Int pos = decoratedHolonObject.getModel().getPosition();
|
|
Vector2Int pos = decoratedHolonObject.getModel().getPosition();
|
|
Color statecolor = ColorPreference.HolonObject.getStateColor(decoratedHolonObject.getState());
|
|
Color statecolor = ColorPreference.HolonObject.getStateColor(decoratedHolonObject.getState());
|
|
g.setColor(statecolor);
|
|
g.setColor(statecolor);
|
|
- g.fillRect(pos.getX() - controller.getScaleDiv2(), pos.getY() - controller.getScaleDiv2(),
|
|
|
|
- controller.getScale(), controller.getScale());
|
|
|
|
|
|
+ g.fillRect(pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() - GuiSettings.getPictureScaleDiv2(),
|
|
|
|
+ GuiSettings.getPictureScale(), GuiSettings.getPictureScale());
|
|
drawCanvasObject(g, decoratedHolonObject.getModel().getImage(), pos);
|
|
drawCanvasObject(g, decoratedHolonObject.getModel().getImage(), pos);
|
|
}
|
|
}
|
|
|
|
|
|
protected void drawCanvasObjectString(Graphics2D g, Vector2Int posOfCanvasObject, float energy) {
|
|
protected void drawCanvasObjectString(Graphics2D g, Vector2Int posOfCanvasObject, float energy) {
|
|
g.setColor(Color.BLACK);
|
|
g.setColor(Color.BLACK);
|
|
- g.setFont(new Font("TimesNewRoman", Font.PLAIN, (int) (controller.getScale() / 4f)));
|
|
|
|
|
|
+ g.setFont(new Font("TimesNewRoman", Font.PLAIN, (int) (GuiSettings.getPictureScale() / 4f)));
|
|
g.drawString((energy > 0) ? "+" + Float.toString(energy) : Float.toString(energy),
|
|
g.drawString((energy > 0) ? "+" + Float.toString(energy) : Float.toString(energy),
|
|
- posOfCanvasObject.getX() - controller.getScaleDiv2(),
|
|
|
|
- posOfCanvasObject.getY() - controller.getScaleDiv2() - 1);
|
|
|
|
|
|
+ posOfCanvasObject.getX() - GuiSettings.getPictureScaleDiv2(),
|
|
|
|
+ posOfCanvasObject.getY() - GuiSettings.getPictureScaleDiv2() - 1);
|
|
}
|
|
}
|
|
|
|
|
|
protected void paintConsumer(Graphics2D g, Consumer con) {
|
|
protected void paintConsumer(Graphics2D g, Consumer con) {
|
|
@@ -301,9 +301,9 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
}
|
|
}
|
|
|
|
|
|
protected void drawCanvasObject(Graphics2D g, String Image, Vector2Int pos) {
|
|
protected void drawCanvasObject(Graphics2D g, String Image, Vector2Int pos) {
|
|
- g.drawImage(ImageImport.loadImage(Image, controller.getScale(), controller.getScale()),
|
|
|
|
- pos.getX() - controller.getScaleDiv2(), pos.getY() - controller.getScaleDiv2(), controller.getScale(),
|
|
|
|
- controller.getScale(), null);
|
|
|
|
|
|
+ g.drawImage(ImageImport.loadImage(Image, GuiSettings.getPictureScale(), GuiSettings.getPictureScale()),
|
|
|
|
+ pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() - GuiSettings.getPictureScaleDiv2(), GuiSettings.getPictureScale(),
|
|
|
|
+ GuiSettings.getPictureScale(), null);
|
|
}
|
|
}
|
|
|
|
|
|
protected void paintCable(Graphics2D g, Edge cable, boolean isSelected) {
|
|
protected void paintCable(Graphics2D g, Edge cable, boolean isSelected) {
|
|
@@ -328,7 +328,7 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
g.drawLine(start.getX(), start.getY(), end.getX(), end.getY());
|
|
g.drawLine(start.getX(), start.getY(), end.getX(), end.getY());
|
|
if (showConnectionInformation) {
|
|
if (showConnectionInformation) {
|
|
Vector2Int middle = new Vector2Int((start.getX() + end.getX()) / 2, (start.getY() + end.getY()) / 2);
|
|
Vector2Int middle = new Vector2Int((start.getX() + end.getX()) / 2, (start.getY() + end.getY()) / 2);
|
|
- g.setFont(new Font("TimesRoman", Font.PLAIN, Math.max((int) (controller.getScale() / 3.5f), 10)));
|
|
|
|
|
|
+ g.setFont(new Font("TimesRoman", Font.PLAIN, Math.max((int) (GuiSettings.getPictureScale() / 3.5f), 10)));
|
|
g.drawString(currentEnergy + "/" + (unlimited ? "\u221E" : capacity), middle.getX(), middle.getY());
|
|
g.drawString(currentEnergy + "/" + (unlimited ? "\u221E" : capacity), middle.getX(), middle.getY());
|
|
}
|
|
}
|
|
}
|
|
}
|
|
@@ -362,38 +362,38 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
}
|
|
}
|
|
g.drawLine(start.getX(), start.getY(), end.getX(), end.getY());
|
|
g.drawLine(start.getX(), start.getY(), end.getX(), end.getY());
|
|
Vector2Int middle = new Vector2Int((start.getX() + end.getX()) / 2, (start.getY() + end.getY()) / 2);
|
|
Vector2Int middle = new Vector2Int((start.getX() + end.getX()) / 2, (start.getY() + end.getY()) / 2);
|
|
- g.setFont(new Font("TimesRoman", Font.PLAIN, Math.max((int) (controller.getScale() / 3.5f), 10)));
|
|
|
|
|
|
+ g.setFont(new Font("TimesRoman", Font.PLAIN, Math.max((int) (GuiSettings.getPictureScale() / 3.5f), 10)));
|
|
g.drawString(currentEnergy + "/" + (unlimited ? "\u221E" : capacity), middle.getX(), middle.getY());
|
|
g.drawString(currentEnergy + "/" + (unlimited ? "\u221E" : capacity), middle.getX(), middle.getY());
|
|
}
|
|
}
|
|
|
|
|
|
protected void paintGroupNode(Graphics2D g, DecoratedGroupNode dGroupNode) {
|
|
protected void paintGroupNode(Graphics2D g, DecoratedGroupNode dGroupNode) {
|
|
Vector2Int pos = dGroupNode.getModel().getPosition();
|
|
Vector2Int pos = dGroupNode.getModel().getPosition();
|
|
g.setColor(Color.lightGray);
|
|
g.setColor(Color.lightGray);
|
|
- g.fillRect(pos.getX() - controller.getScaleDiv2(), pos.getY() - controller.getScaleDiv2(),
|
|
|
|
- controller.getScale(), controller.getScale());
|
|
|
|
|
|
+ g.fillRect(pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() - GuiSettings.getPictureScaleDiv2(),
|
|
|
|
+ GuiSettings.getPictureScale(), GuiSettings.getPictureScale());
|
|
drawCanvasObject(g, "/Images/upper_node.png", pos);
|
|
drawCanvasObject(g, "/Images/upper_node.png", pos);
|
|
paintGroupNodeBar(g, dGroupNode, pos);
|
|
paintGroupNodeBar(g, dGroupNode, pos);
|
|
}
|
|
}
|
|
|
|
|
|
private void paintGroupNodeBar(Graphics2D g, DecoratedGroupNode dGroupNode, Vector2Int pos) {
|
|
private void paintGroupNodeBar(Graphics2D g, DecoratedGroupNode dGroupNode, Vector2Int pos) {
|
|
// +1, -2, -1 little Adjustment for pixel perfect alignment
|
|
// +1, -2, -1 little Adjustment for pixel perfect alignment
|
|
- int barWidth = (int) (controller.getScale());
|
|
|
|
- int barHeight = (int) (controller.getScale() / 5);
|
|
|
|
|
|
+ int barWidth = (int) (GuiSettings.getPictureScale());
|
|
|
|
+ int barHeight = (int) (GuiSettings.getPictureScale() / 5);
|
|
g.setColor(Color.WHITE);
|
|
g.setColor(Color.WHITE);
|
|
- g.fillRect(pos.getX() - controller.getScaleDiv2(), pos.getY() + controller.getScaleDiv2() - 1, (int) barWidth,
|
|
|
|
|
|
+ g.fillRect(pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() + GuiSettings.getPictureScaleDiv2() - 1, (int) barWidth,
|
|
barHeight);
|
|
barHeight);
|
|
float[] percentages = getGroupNodeBarPercentages(dGroupNode);
|
|
float[] percentages = getGroupNodeBarPercentages(dGroupNode);
|
|
|
|
|
|
for (int i = 5; i >= 0; i--) {
|
|
for (int i = 5; i >= 0; i--) {
|
|
g.setColor(colors[i]);
|
|
g.setColor(colors[i]);
|
|
- g.fillRect(pos.getX() - controller.getScaleDiv2(), pos.getY() + controller.getScaleDiv2() - 1,
|
|
|
|
|
|
+ g.fillRect(pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() + GuiSettings.getPictureScaleDiv2() - 1,
|
|
(int) (barWidth * percentages[i] - 1), barHeight);
|
|
(int) (barWidth * percentages[i] - 1), barHeight);
|
|
}
|
|
}
|
|
// g.setColor(color);
|
|
// g.setColor(color);
|
|
-// g.fillRect(pos.getX() - controller.getScaleDiv2(), pos.getY() + controller.getScaleDiv2() - 1, (int) (barWidth * (percentage < 1 ? percentage : 1.0f) - 1), barHeight);
|
|
|
|
|
|
+// g.fillRect(pos.getX() - GuiSettings.GetPictureScaleDiv2(), pos.getY() + GuiSettings.GetPictureScaleDiv2() - 1, (int) (barWidth * (percentage < 1 ? percentage : 1.0f) - 1), barHeight);
|
|
g.setColor(Color.BLACK);
|
|
g.setColor(Color.BLACK);
|
|
g.setStroke(new BasicStroke(1));
|
|
g.setStroke(new BasicStroke(1));
|
|
- g.drawRect(pos.getX() - controller.getScaleDiv2(), pos.getY() + controller.getScaleDiv2() - 1, barWidth - 1,
|
|
|
|
|
|
+ g.drawRect(pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() + GuiSettings.getPictureScaleDiv2() - 1, barWidth - 1,
|
|
barHeight);
|
|
barHeight);
|
|
}
|
|
}
|
|
|
|
|
|
@@ -424,17 +424,17 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
|
|
|
|
private void paintSupplyBar(Graphics2D g, float percentage, Color color, Vector2Int pos) {
|
|
private void paintSupplyBar(Graphics2D g, float percentage, Color color, Vector2Int pos) {
|
|
// +1, -2, -1 little Adjustment for pixel perfect alignment
|
|
// +1, -2, -1 little Adjustment for pixel perfect alignment
|
|
- int barWidth = (int) (controller.getScale());
|
|
|
|
- int barHeight = (int) (controller.getScale() / 5);
|
|
|
|
|
|
+ int barWidth = (int) (GuiSettings.getPictureScale());
|
|
|
|
+ int barHeight = (int) (GuiSettings.getPictureScale() / 5);
|
|
g.setColor(Color.WHITE);
|
|
g.setColor(Color.WHITE);
|
|
- g.fillRect(pos.getX() - controller.getScaleDiv2(), pos.getY() + controller.getScaleDiv2() - 1, (int) barWidth,
|
|
|
|
|
|
+ g.fillRect(pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() + GuiSettings.getPictureScaleDiv2() - 1, (int) barWidth,
|
|
barHeight);
|
|
barHeight);
|
|
g.setColor(color);
|
|
g.setColor(color);
|
|
- g.fillRect(pos.getX() - controller.getScaleDiv2(), pos.getY() + controller.getScaleDiv2() - 1,
|
|
|
|
|
|
+ g.fillRect(pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() + GuiSettings.getPictureScaleDiv2() - 1,
|
|
(int) (barWidth * (percentage < 1 ? percentage : 1.0f) - 1), barHeight);
|
|
(int) (barWidth * (percentage < 1 ? percentage : 1.0f) - 1), barHeight);
|
|
g.setColor(Color.BLACK);
|
|
g.setColor(Color.BLACK);
|
|
g.setStroke(new BasicStroke(1));
|
|
g.setStroke(new BasicStroke(1));
|
|
- g.drawRect(pos.getX() - controller.getScaleDiv2(), pos.getY() + controller.getScaleDiv2() - 1, barWidth - 1,
|
|
|
|
|
|
+ g.drawRect(pos.getX() - GuiSettings.getPictureScaleDiv2(), pos.getY() + GuiSettings.getPictureScaleDiv2() - 1, barWidth - 1,
|
|
barHeight);
|
|
barHeight);
|
|
g.setFont(new Font("TimesNewRoman", Font.PLAIN, (int) (barHeight * 1.5) - 2));
|
|
g.setFont(new Font("TimesNewRoman", Font.PLAIN, (int) (barHeight * 1.5) - 2));
|
|
String percentageString = (Math.round((percentage * 100))) + "%";
|
|
String percentageString = (Math.round((percentage * 100))) + "%";
|
|
@@ -442,7 +442,7 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
if (percentage > 1.0f)
|
|
if (percentage > 1.0f)
|
|
g.setColor(Color.WHITE); // Just to see better on purple
|
|
g.setColor(Color.WHITE); // Just to see better on purple
|
|
g.drawString(percentageString, pos.getX() + 1 - stringWidth / 2,
|
|
g.drawString(percentageString, pos.getX() + 1 - stringWidth / 2,
|
|
- pos.getY() + controller.getScaleDiv2() - 1 + barHeight);
|
|
|
|
|
|
+ pos.getY() + GuiSettings.getPictureScaleDiv2() - 1 + barHeight);
|
|
|
|
|
|
}
|
|
}
|
|
|
|
|
|
@@ -489,7 +489,7 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
if (model.getSelectedEdge() != null)
|
|
if (model.getSelectedEdge() != null)
|
|
selectedEdges.add(model.getSelectedEdge());
|
|
selectedEdges.add(model.getSelectedEdge());
|
|
// timstep:
|
|
// timstep:
|
|
- g.setFont(new Font("TimesNewRoman", Font.PLAIN, Math.max((int) (controller.getScale() / 3.5f), 10)));
|
|
|
|
|
|
+ g.setFont(new Font("TimesNewRoman", Font.PLAIN, Math.max((int) (GuiSettings.getPictureScale() / 3.5f), 10)));
|
|
g2d.setColor(Color.BLACK);
|
|
g2d.setColor(Color.BLACK);
|
|
|
|
|
|
Optional<VisualRepresentationalState> optVisualState = controller.getSimManager().getActualVisualRepresentationalState();
|
|
Optional<VisualRepresentationalState> optVisualState = controller.getSimManager().getActualVisualRepresentationalState();
|
|
@@ -539,23 +539,23 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
if (aCps instanceof Node) {
|
|
if (aCps instanceof Node) {
|
|
Vector2Int pos = aCps.getPosition();
|
|
Vector2Int pos = aCps.getPosition();
|
|
g2d.setColor(transparentGrey);
|
|
g2d.setColor(transparentGrey);
|
|
- g2d.fillOval(pos.getX() - (int) (controller.getScaleDiv2()),
|
|
|
|
- pos.getY() - (int) (controller.getScaleDiv2()), controller.getScale(), controller.getScale());
|
|
|
|
|
|
+ g2d.fillOval(pos.getX() - (int) (GuiSettings.getPictureScaleDiv2()),
|
|
|
|
+ pos.getY() - (int) (GuiSettings.getPictureScaleDiv2()), GuiSettings.getPictureScale(), GuiSettings.getPictureScale());
|
|
g2d.setColor(Color.LIGHT_GRAY);
|
|
g2d.setColor(Color.LIGHT_GRAY);
|
|
g2d.setStroke(new BasicStroke(2));
|
|
g2d.setStroke(new BasicStroke(2));
|
|
- g2d.drawOval(pos.getX() - (int) (controller.getScaleDiv2()),
|
|
|
|
- pos.getY() - (int) (controller.getScaleDiv2()), controller.getScale(), controller.getScale());
|
|
|
|
|
|
+ g2d.drawOval(pos.getX() - (int) (GuiSettings.getPictureScaleDiv2()),
|
|
|
|
+ pos.getY() - (int) (GuiSettings.getPictureScaleDiv2()), GuiSettings.getPictureScale(), GuiSettings.getPictureScale());
|
|
} else {
|
|
} else {
|
|
Vector2Int pos = aCps.getPosition();
|
|
Vector2Int pos = aCps.getPosition();
|
|
g2d.setColor(transparentGrey);
|
|
g2d.setColor(transparentGrey);
|
|
- g2d.fillRect(pos.getX() - (int) (controller.getScaleDiv2() * 1.5f),
|
|
|
|
- pos.getY() - (int) (controller.getScaleDiv2() * 1.5f), (int) (controller.getScale() * 1.5f),
|
|
|
|
- (int) (controller.getScale() * 1.5f));
|
|
|
|
|
|
+ g2d.fillRect(pos.getX() - (int) (GuiSettings.getPictureScaleDiv2() * 1.5f),
|
|
|
|
+ pos.getY() - (int) (GuiSettings.getPictureScaleDiv2() * 1.5f), (int) (GuiSettings.getPictureScale() * 1.5f),
|
|
|
|
+ (int) (GuiSettings.getPictureScale() * 1.5f));
|
|
g2d.setColor(Color.LIGHT_GRAY);
|
|
g2d.setColor(Color.LIGHT_GRAY);
|
|
g2d.setStroke(new BasicStroke(2));
|
|
g2d.setStroke(new BasicStroke(2));
|
|
- g2d.drawRect(pos.getX() - (int) (controller.getScaleDiv2() * 1.5f),
|
|
|
|
- pos.getY() - (int) (controller.getScaleDiv2() * 1.5f), (int) (controller.getScale() * 1.5f),
|
|
|
|
- (int) (controller.getScale() * 1.5f));
|
|
|
|
|
|
+ g2d.drawRect(pos.getX() - (int) (GuiSettings.getPictureScaleDiv2() * 1.5f),
|
|
|
|
+ pos.getY() - (int) (GuiSettings.getPictureScaleDiv2() * 1.5f), (int) (GuiSettings.getPictureScale() * 1.5f),
|
|
|
|
+ (int) (GuiSettings.getPictureScale() * 1.5f));
|
|
}
|
|
}
|
|
|
|
|
|
}
|
|
}
|
|
@@ -563,8 +563,8 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
if (mayBeReplaced != null) {
|
|
if (mayBeReplaced != null) {
|
|
g2d.setColor(Color.RED);
|
|
g2d.setColor(Color.RED);
|
|
Vector2Int pos = mayBeReplaced.getPosition();
|
|
Vector2Int pos = mayBeReplaced.getPosition();
|
|
- g2d.drawImage(ImageImport.loadImage("/Images/replace.png"), pos.getX() + controller.getScaleDiv2(),
|
|
|
|
- pos.getY() - controller.getScale(), controller.getScaleDiv2(), controller.getScaleDiv2(), null);
|
|
|
|
|
|
+ g2d.drawImage(ImageImport.loadImage("/Images/replace.png"), pos.getX() + GuiSettings.getPictureScaleDiv2(),
|
|
|
|
+ pos.getY() - GuiSettings.getPictureScale(), GuiSettings.getPictureScaleDiv2(), GuiSettings.getPictureScaleDiv2(), null);
|
|
}
|
|
}
|
|
// <-- OldCode
|
|
// <-- OldCode
|
|
}
|
|
}
|
|
@@ -590,9 +590,9 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
controller.setSelecteEdge(null);
|
|
controller.setSelecteEdge(null);
|
|
// Object Selection
|
|
// Object Selection
|
|
for (AbstractCanvasObject cps : model.getObjectsOnCanvas()) {
|
|
for (AbstractCanvasObject cps : model.getObjectsOnCanvas()) {
|
|
- cx = cps.getPosition().getX() - controller.getScaleDiv2();
|
|
|
|
- cy = cps.getPosition().getY() - controller.getScaleDiv2();
|
|
|
|
- if (x - controller.getScale() <= cx && y - controller.getScale() <= cy && x >= cx && y >= cy) {
|
|
|
|
|
|
+ cx = cps.getPosition().getX() - GuiSettings.getPictureScaleDiv2();
|
|
|
|
+ cy = cps.getPosition().getY() - GuiSettings.getPictureScaleDiv2();
|
|
|
|
+ if (x - GuiSettings.getPictureScale() <= cx && y - GuiSettings.getPictureScale() <= cy && x >= cx && y >= cy) {
|
|
tempCps = cps;
|
|
tempCps = cps;
|
|
|
|
|
|
dragging = true;
|
|
dragging = true;
|
|
@@ -731,7 +731,7 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
y = e.getY();
|
|
y = e.getY();
|
|
|
|
|
|
// Make sure its in bounds
|
|
// Make sure its in bounds
|
|
- int scaleDiv2 = controller.getScaleDiv2();
|
|
|
|
|
|
+ int scaleDiv2 = GuiSettings.getPictureScaleDiv2();
|
|
if (e.getX() < scaleDiv2)
|
|
if (e.getX() < scaleDiv2)
|
|
x = scaleDiv2;
|
|
x = scaleDiv2;
|
|
else if (e.getX() > this.getWidth() - scaleDiv2)
|
|
else if (e.getX() > this.getWidth() - scaleDiv2)
|
|
@@ -797,8 +797,8 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
y1 = y;
|
|
y1 = y;
|
|
y2 = sy;
|
|
y2 = sy;
|
|
}
|
|
}
|
|
- if (x1 <= cps.getPosition().getX() + Model.getScaleDiv2()
|
|
|
|
- && y1 <= cps.getPosition().getY() + Model.getScaleDiv2() && x2 >= cps.getPosition().getX()
|
|
|
|
|
|
+ if (x1 <= cps.getPosition().getX() + GuiSettings.getPictureScaleDiv2()
|
|
|
|
+ && y1 <= cps.getPosition().getY() + GuiSettings.getPictureScaleDiv2() && x2 >= cps.getPosition().getX()
|
|
&& y2 >= cps.getPosition().getY()) {
|
|
&& y2 >= cps.getPosition().getY()) {
|
|
tempSelected.add(cps);
|
|
tempSelected.add(cps);
|
|
|
|
|
|
@@ -819,13 +819,13 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
// Everything for the tooltip :)
|
|
// Everything for the tooltip :)
|
|
boolean on = false;
|
|
boolean on = false;
|
|
for (AbstractCanvasObject cps : model.getObjectsOnCanvas()) {
|
|
for (AbstractCanvasObject cps : model.getObjectsOnCanvas()) {
|
|
- cx = cps.getPosition().getX() - controller.getScaleDiv2();
|
|
|
|
- cy = cps.getPosition().getY() - controller.getScaleDiv2();
|
|
|
|
|
|
+ cx = cps.getPosition().getX() - GuiSettings.getPictureScaleDiv2();
|
|
|
|
+ cy = cps.getPosition().getY() - GuiSettings.getPictureScaleDiv2();
|
|
|
|
|
|
- if (x - controller.getScale() <= cx && y - controller.getScale() <= cy && x >= cx && y >= cy) {
|
|
|
|
|
|
+ if (x - GuiSettings.getPictureScale() <= cx && y - GuiSettings.getPictureScale() <= cy && x >= cx && y >= cy) {
|
|
on = true;
|
|
on = true;
|
|
- toolTipPos.setX(cps.getPosition().getX() - controller.getScaleDiv2());
|
|
|
|
- toolTipPos.setY(cps.getPosition().getY() + controller.getScaleDiv2());
|
|
|
|
|
|
+ toolTipPos.setX(cps.getPosition().getX() - GuiSettings.getPictureScaleDiv2());
|
|
|
|
+ toolTipPos.setY(cps.getPosition().getY() + GuiSettings.getPictureScaleDiv2());
|
|
toolTipText = cps.getName() + ", " + cps.getId();
|
|
toolTipText = cps.getName() + ", " + cps.getId();
|
|
}
|
|
}
|
|
}
|
|
}
|
|
@@ -847,9 +847,9 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
Edge e = null;
|
|
Edge e = null;
|
|
|
|
|
|
for (AbstractCanvasObject cps : model.getObjectsOnCanvas()) {
|
|
for (AbstractCanvasObject cps : model.getObjectsOnCanvas()) {
|
|
- cx = cps.getPosition().getX() - controller.getScaleDiv2();
|
|
|
|
- cy = cps.getPosition().getY() - controller.getScaleDiv2();
|
|
|
|
- if (x - controller.getScale() <= cx && y - controller.getScale() <= cy && x >= cx && y >= cy
|
|
|
|
|
|
+ cx = cps.getPosition().getX() - GuiSettings.getPictureScaleDiv2();
|
|
|
|
+ cy = cps.getPosition().getY() - GuiSettings.getPictureScaleDiv2();
|
|
|
|
+ if (x - GuiSettings.getPictureScale() <= cx && y - GuiSettings.getPictureScale() <= cy && x >= cx && y >= cy
|
|
&& cps != tempCps) {
|
|
&& cps != tempCps) {
|
|
node = false;
|
|
node = false;
|
|
onEdge = false;
|
|
onEdge = false;
|
|
@@ -964,8 +964,8 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
* @return CpsEdge the Mouse is on, null if the mouse is not on an Edge
|
|
* @return CpsEdge the Mouse is on, null if the mouse is not on an Edge
|
|
*/
|
|
*/
|
|
protected Edge mousePositionOnEdge(int x, int y) {
|
|
protected Edge mousePositionOnEdge(int x, int y) {
|
|
- x += controller.getScaleDiv2();
|
|
|
|
- y += controller.getScaleDiv2();
|
|
|
|
|
|
+ x += GuiSettings.getPictureScaleDiv2();
|
|
|
|
+ y += GuiSettings.getPictureScaleDiv2();
|
|
for (Edge p : model.getEdgesOnCanvas()) {
|
|
for (Edge p : model.getEdgesOnCanvas()) {
|
|
Line2D l = new Line2D.Float(p.getA().getPosition().getX(), p.getA().getPosition().getY(),
|
|
Line2D l = new Line2D.Float(p.getA().getPosition().getX(), p.getA().getPosition().getY(),
|
|
p.getB().getPosition().getX(), p.getB().getPosition().getY());
|
|
p.getB().getPosition().getX(), p.getB().getPosition().getY());
|
|
@@ -977,7 +977,7 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
int hy = positions[3];
|
|
int hy = positions[3];
|
|
|
|
|
|
// distance from a point to a line and between both Objects
|
|
// distance from a point to a line and between both Objects
|
|
- if (l.ptLineDistSq(x - Model.getScaleDiv2(), y - Model.getScaleDiv2()) < 20 && x > lx && x < hx && y > ly
|
|
|
|
|
|
+ if (l.ptLineDistSq(x - GuiSettings.getPictureScaleDiv2(), y - GuiSettings.getPictureScaleDiv2()) < 20 && x > lx && x < hx && y > ly
|
|
&& y < hy) {
|
|
&& y < hy) {
|
|
return p;
|
|
return p;
|
|
}
|
|
}
|
|
@@ -1017,7 +1017,7 @@ public class Canvas extends AbstractCanvas implements MouseListener, MouseMotion
|
|
* Align all Objects
|
|
* Align all Objects
|
|
*/
|
|
*/
|
|
for (AbstractCanvasObject cps : model.getObjectsOnCanvas())
|
|
for (AbstractCanvasObject cps : model.getObjectsOnCanvas())
|
|
- align(cps, 3 * Model.getScaleDiv2());
|
|
|
|
|
|
+ align(cps, 3 * GuiSettings.getPictureScaleDiv2());
|
|
|
|
|
|
/**
|
|
/**
|
|
* AutoSave new Positons
|
|
* AutoSave new Positons
|