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

Fix icons for Linux.

Browse Source
This commit is contained in:
Holt59 2018-03-14 21:27:36 +01:00
parent f2f65b85d4
commit 25e35b9bc4
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
res/cross_mark.png → res/delete-icon.png
View File

Side by Side Swipe Overlay

Before

Width:  |  Height:  |  Size: 2.1 KiB

After

Width:  |  Height:  |  Size: 2.1 KiB

BIN
res/save-icon.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 3.0 KiB

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

@ -28,7 +28,6 @@ import javax.swing.JFileChooser;
import javax.swing.JLabel; import javax.swing.JLabel;
import javax.swing.JOptionPane; import javax.swing.JOptionPane;
import javax.swing.JPanel; import javax.swing.JPanel;
import javax.swing.UIManager;
import javax.swing.border.EmptyBorder; import javax.swing.border.EmptyBorder;
import javax.swing.event.ChangeEvent; import javax.swing.event.ChangeEvent;
import javax.swing.event.ChangeListener; import javax.swing.event.ChangeListener;
@ -213,7 +212,9 @@ public class PathsPanel extends JPanel implements DrawingChangeListener, GraphCh
} }
}); });
JButton saveButton = new JButton(UIManager.getIcon("FileView.floppyDriveIcon")); Image saveImg = ImageIO.read(getClass().getResourceAsStream("/save-icon.png"))
.getScaledInstance(14, 14, java.awt.Image.SCALE_SMOOTH);
JButton saveButton = new JButton(new ImageIcon(saveImg));
saveButton.setFocusPainted(false); saveButton.setFocusPainted(false);
saveButton.setFocusable(false); saveButton.setFocusable(false);
saveButton.setMinimumSize(size); saveButton.setMinimumSize(size);
@ -245,7 +246,7 @@ public class PathsPanel extends JPanel implements DrawingChangeListener, GraphCh
} }
}); });
Image newimg = ImageIO.read(getClass().getResourceAsStream("/cross_mark.png")) Image newimg = ImageIO.read(getClass().getResourceAsStream("/delete-icon.png"))
.getScaledInstance(14, 14, java.awt.Image.SCALE_SMOOTH); .getScaledInstance(14, 14, java.awt.Image.SCALE_SMOOTH);
JButton deleteButton = new JButton(new ImageIcon(newimg)); JButton deleteButton = new JButton(new ImageIcon(newimg));
deleteButton.setFocusPainted(false); deleteButton.setFocusPainted(false);