X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;fp=src%2Fjalview%2Fgui%2FPreferences.java;h=c921331dba2806ded88253ff064e42c078a7989f;hb=57447cbc359ed9a0c8826540079898677ef86660;hp=a0a7511aa888aaa465cfb3ef71d72e7673903839;hpb=127d0acaaa8080b632cec3293c94af089b07ce56;p=jalview.git

diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java
index a0a7511..c921331 100755
--- a/src/jalview/gui/Preferences.java
+++ b/src/jalview/gui/Preferences.java
@@ -192,6 +192,8 @@ public class Preferences extends GPreferences
 
   private WsPreferences wsPrefs;
 
+  private SlivkaPreferences slivkaPrefs;
+
   private OptionsParam promptEachTimeOpt = new OptionsParam(
           MessageManager.getString("label.prompt_each_time"),
           "Prompt each time");
@@ -212,6 +214,8 @@ public class Preferences extends GPreferences
     frame.setContentPane(this);
     wsPrefs = new WsPreferences();
     wsTab.add(wsPrefs, BorderLayout.CENTER);
+    slivkaTab.add(slivkaPrefs = new SlivkaPreferences(),
+        BorderLayout.CENTER);
     int width = 500, height = 450;
     new jalview.util.Platform();
     if (Platform.isAMac())
@@ -481,7 +485,7 @@ public class Preferences extends GPreferences
     doReset.addActionListener(onReset);
 
     // filter to display only custom urls
-    final RowFilter<TableModel, Object> customUrlFilter = new RowFilter<TableModel, Object>()
+    final RowFilter<TableModel, Object> customUrlFilter = new RowFilter<>()
     {
       @Override
       public boolean include(