git://source.jalview.org
/
jalview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
4de17e6
)
JAL-3416 Add necessary logo to non-internal Frames
author
Ben Soares
<b.soares@dundee.ac.uk>
Wed, 9 Nov 2022 18:11:42 +0000
(18:11 +0000)
committer
Ben Soares
<b.soares@dundee.ac.uk>
Wed, 9 Nov 2022 18:11:42 +0000
(18:11 +0000)
src/jalview/gui/JvOptionPane.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/JvOptionPane.java
b/src/jalview/gui/JvOptionPane.java
index
c228cb9
..
0e0b13d
100644
(file)
--- a/
src/jalview/gui/JvOptionPane.java
+++ b/
src/jalview/gui/JvOptionPane.java
@@
-1166,7
+1166,7
@@
public class JvOptionPane extends JOptionPane
// A better hack which works is to create a new JFrame parent with
// setAlwaysOnTop(true)
JFrame dialogParent = new JFrame();
// A better hack which works is to create a new JFrame parent with
// setAlwaysOnTop(true)
JFrame dialogParent = new JFrame();
- dialogParent.setIconImage(null);
+ dialogParent.setIconImages(ChannelProperties.getIconList());
dialogParent.setAlwaysOnTop(true);
int answer = JOptionPane.showConfirmDialog(dialogParent, label,
dialogParent.setAlwaysOnTop(true);
int answer = JOptionPane.showConfirmDialog(dialogParent, label,
@@
-1183,7
+1183,7
@@
public class JvOptionPane extends JOptionPane
Object[] options, Object initialValue, boolean modal)
{
JFrame frame = new JFrame();
Object[] options, Object initialValue, boolean modal)
{
JFrame frame = new JFrame();
- frame.setIconImage(null);
+ frame.setIconImages(ChannelProperties.getIconList());
showDialogOnTopAsync(frame, label, actionString, JOPTIONPANE_OPTION,
JOPTIONPANE_MESSAGETYPE, icon, options, initialValue, modal);
}
showDialogOnTopAsync(frame, label, actionString, JOPTIONPANE_OPTION,
JOPTIONPANE_MESSAGETYPE, icon, options, initialValue, modal);
}
@@
-1408,7
+1408,7
@@
public class JvOptionPane extends JOptionPane
Platform.isJS() ? initialValue : initialValueButton);
JDialog dialog = joptionpane.createDialog(parentComponent, title);
Platform.isJS() ? initialValue : initialValueButton);
JDialog dialog = joptionpane.createDialog(parentComponent, title);
- dialog.setIconImage(null);
+ dialog.setIconImages(ChannelProperties.getIconList());
dialog.setModalityType(
modal ? ModalityType.APPLICATION_MODAL : ModalityType.MODELESS);
dialog.setDefaultCloseOperation(JDialog.DISPOSE_ON_CLOSE);
dialog.setModalityType(
modal ? ModalityType.APPLICATION_MODAL : ModalityType.MODELESS);
dialog.setDefaultCloseOperation(JDialog.DISPOSE_ON_CLOSE);