Use font.getName, not font.getFontName

[jalview.git] / src / jalview / appletgui / SeqPanel.java

diff --git a/src/jalview/appletgui/SeqPanel.java b/src/jalview/appletgui/SeqPanel.java
index 6e2a544..665a444 100755 (executable)
--- a/src/jalview/appletgui/SeqPanel.java
+++ b/src/jalview/appletgui/SeqPanel.java
@@ -613,12 +613,8 @@ public class SeqPanel
     }\r
     else\r
     {\r
-      if (stretchGroup.cs != null)\r
-      {\r
         SliderPanel.setPIDSliderSource(ap, stretchGroup.cs,\r
                                        stretchGroup.getName());\r
-      }\r
-\r
     }\r
 \r
     changeEndRes = false;\r
@@ -702,7 +698,6 @@ public class SeqPanel
       if (stretchGroup.sequences.contains(nextSeq))\r
       {\r
         stretchGroup.deleteSequence(seq, false);\r
-        stretchGroup.deleteSequence(nextSeq, false);\r
       }\r
       else\r
       {\r