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:
14ec987
)
adds Desktop name jalview-desktop;
author
hansonr
<hansonr@STO24954W.ad.stolaf.edu>
Sun, 31 Mar 2019 17:19:30 +0000
(12:19 -0500)
committer
hansonr
<hansonr@STO24954W.ad.stolaf.edu>
Sun, 31 Mar 2019 17:19:30 +0000
(12:19 -0500)
src/jalview/jbgui/GDesktop.java
patch
|
blob
|
history
diff --git
a/src/jalview/jbgui/GDesktop.java
b/src/jalview/jbgui/GDesktop.java
index
b6408b8
..
315c2f7
100755
(executable)
--- a/
src/jalview/jbgui/GDesktop.java
+++ b/
src/jalview/jbgui/GDesktop.java
@@
-42,6
+42,7
@@
import javax.swing.JMenuItem;
* @author $author$
* @version $Revision$
*/
+@SuppressWarnings("serial")
public class GDesktop extends JFrame
{
@@
-168,7
+169,7
@@
public class GDesktop extends JFrame
*/
private void jbInit() throws Exception
{
-
+ setName("jalview-desktop");
FileMenu.setText(MessageManager.getString("action.file"));
HelpMenu.setText(MessageManager.getString("action.help"));
VamsasMenu.setText("Vamsas");