INSA/be-graphes
3
0
Fork 0
Code Issues 4 Releases Wiki Activity

Change border color of PathPanel.

Browse Source
This commit is contained in:
Holt59 2018-03-05 22:04:02 +01:00
parent 0fb5bc2ae7
commit 426867a302
1 changed files with 12 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/main/org/insa/graphics/PathsPanel.java
View File

@ -107,7 +107,8 @@ public class PathsPanel extends JPanel implements DrawingChangeListener, GraphCh
public PathPanel(Path path) {
super();
setLayout(new BoxLayout(this, BoxLayout.LINE_AXIS));
setBorder(BorderFactory.createCompoundBorder(BorderFactory.createMatteBorder(0, 0, 1, 0, Color.GRAY),
setBorder(BorderFactory.createCompoundBorder(
BorderFactory.createMatteBorder(0, 0, 1, 0, Color.LIGHT_GRAY),
new EmptyBorder(5, 0, 5, 0)));
this.path = path;
this.overlay = drawing.drawPath(this.path);
@ -183,13 +184,14 @@ public class PathsPanel extends JPanel implements DrawingChangeListener, GraphCh
}
});
JColorChooser.createDialog(getTopLevelAncestor(), "Pick a new color", true, chooser,
new ActionListener() {
JColorChooser.createDialog(getTopLevelAncestor(), "Pick a new color", true,
chooser, new ActionListener() {
@Override
public void actionPerformed(ActionEvent e) {
icon.setColor(chooser.getSelectionModel().getSelectedColor());
colorButton.repaint();
overlay.setColor(chooser.getSelectionModel().getSelectedColor());
overlay.setColor(
chooser.getSelectionModel().getSelectedColor());
overlay.redraw();
}
}, new ActionListener() {
@ -225,11 +227,12 @@ public class PathsPanel extends JPanel implements DrawingChangeListener, GraphCh
fileChooser.setApproveButtonText("Save");
fileChooser.setToolTipText("Save");
if (fileChooser.showSaveDialog(getTopLevelAncestor()) == JFileChooser.APPROVE_OPTION) {
if (fileChooser
.showSaveDialog(getTopLevelAncestor()) == JFileChooser.APPROVE_OPTION) {
File file = fileChooser.getSelectedFile();
try {
BinaryPathWriter writer = new BinaryPathWriter(
new DataOutputStream(new BufferedOutputStream(new FileOutputStream(file))));
BinaryPathWriter writer = new BinaryPathWriter(new DataOutputStream(
new BufferedOutputStream(new FileOutputStream(file))));
writer.writePath(path);
}
catch (IOException e1) {
@ -288,7 +291,8 @@ public class PathsPanel extends JPanel implements DrawingChangeListener, GraphCh
* @see java.lang.Object#toString()
*/
public String toString() {
return "Path from #" + path.getOrigin().getId() + " to #" + path.getDestination().getId();
return "Path from #" + path.getOrigin().getId() + " to #"
+ path.getDestination().getId();
}
}