git://source.jalview.org
/
jalview.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
JAL-2422 More helpful highlighting/user guidance of missing structure viewer path
[jalview.git]
/
src
/
jalview
/
jbgui
/
GPreferences.java
diff --git
a/src/jalview/jbgui/GPreferences.java
b/src/jalview/jbgui/GPreferences.java
index
1a4a44b
..
e6efed6
100755
(executable)
--- a/
src/jalview/jbgui/GPreferences.java
+++ b/
src/jalview/jbgui/GPreferences.java
@@
-510,9
+510,12
@@
public class GPreferences extends JPanel
}
}
}
}
- public final static int CONNECTIONS_TAB = 5;
+ public static enum TabRef
+ {
+ CONNECTIONS_TAB, STRUCTURE_TAB
+ };
- public void selectTab(int selectTab)
+ public void selectTab(TabRef selectTab)
{
// select a given tab - currently only for Connections
switch (selectTab)
{
// select a given tab - currently only for Connections
switch (selectTab)
@@
-520,6
+523,9
@@
public class GPreferences extends JPanel
case CONNECTIONS_TAB:
tabbedPane.setSelectedComponent(connectTab);
break;
case CONNECTIONS_TAB:
tabbedPane.setSelectedComponent(connectTab);
break;
+ case STRUCTURE_TAB:
+ tabbedPane.setSelectedComponent(structureTab);
+ break;
default:
}
}
default:
}
}
@@
-1789,8
+1795,8
@@
public class GPreferences extends JPanel
}
/**
}
/**
- * Show a dialog for the user to choose a file. Returns the chosen path, or
- * null on Cancel.
+ * Show a dialog for the user to choose a file. Returns the chosen path, or null
+ * on Cancel.
*
* @return
*/
*
* @return
*/
@@
-3166,7
+3172,7
@@
public class GPreferences extends JPanel
* DOCUMENT ME!
*
* @param e
* DOCUMENT ME!
*
* @param e
- * DOCUMENT ME!
+ * DOCUMENT ME!
*/
public void ok_actionPerformed(ActionEvent e)
{
*/
public void ok_actionPerformed(ActionEvent e)
{
@@
-3176,7
+3182,7
@@
public class GPreferences extends JPanel
* DOCUMENT ME!
*
* @param e
* DOCUMENT ME!
*
* @param e
- * DOCUMENT ME!
+ * DOCUMENT ME!
*/
public void cancel_actionPerformed(ActionEvent e)
{
*/
public void cancel_actionPerformed(ActionEvent e)
{
@@
-3186,7
+3192,7
@@
public class GPreferences extends JPanel
* DOCUMENT ME!
*
* @param e
* DOCUMENT ME!
*
* @param e
- * DOCUMENT ME!
+ * DOCUMENT ME!
*/
public void annotations_actionPerformed(ActionEvent e)
{
*/
public void annotations_actionPerformed(ActionEvent e)
{