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 (from parent 1:
af7f0b6
)
JAL-3253-applet comments/Overrides only
author
hansonr
<hansonr@STO24954W.ad.stolaf.edu>
Tue, 6 Aug 2019 21:18:36 +0000
(16:18 -0500)
committer
hansonr
<hansonr@STO24954W.ad.stolaf.edu>
Tue, 6 Aug 2019 21:18:36 +0000
(16:18 -0500)
src/jalview/gui/FeatureEditor.java
patch
|
blob
|
history
diff --git
a/src/jalview/gui/FeatureEditor.java
b/src/jalview/gui/FeatureEditor.java
index
a02ec36
..
4fe9a65
100644
(file)
--- a/
src/jalview/gui/FeatureEditor.java
+++ b/
src/jalview/gui/FeatureEditor.java
@@
-99,7
+99,12
@@
public class FeatureEditor
*
* @param alignPanel
* @param seqs
*
* @param alignPanel
* @param seqs
+ * one or more Sequence if create is true; a singleton if create is
+ * false
* @param feats
* @param feats
+ * a list of new SequenceFeature instances if create is true,
+ * otherwise a list of known features for this sequence at this
+ * position
* @param create
* if true create a new feature, else amend or delete an existing
* feature
* @param create
* if true create a new feature, else amend or delete an existing
* feature
@@
-482,6
+487,7
@@
public class FeatureEditor
{
boolean useLastDefaults = features.get(0).getType() == null;
{
boolean useLastDefaults = features.get(0).getType() == null;
+ @Override
public void run()
{
final String enteredType = name.getText().trim();
public void run()
{
final String enteredType = name.getText().trim();
@@
-538,6
+544,7
@@
public class FeatureEditor
{
Runnable deleteAction = new Runnable()
{
{
Runnable deleteAction = new Runnable()
{
+ @Override
public void run()
{
SequenceFeature sf = features.get(featureIndex);
public void run()
{
SequenceFeature sf = features.get(featureIndex);
@@
-646,6
+653,7
@@
public class FeatureEditor
String featureGroup = group.getText();
String featureGroup = group.getText();
+ @Override
public void run()
{
final String enteredType = name.getText().trim();
public void run()
{
final String enteredType = name.getText().trim();