X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FPreferences.java;fp=src%2Fjalview%2Fgui%2FPreferences.java;h=7d50e6e80694bd18246b01c8c7e0b4742d836b93;hb=ee0a51006acad081dde53e0bed9c682fb8739c97;hp=04851e87374514a97dca49561c36b6dfbf247623;hpb=5eb7a8846e81e791ad3f6d018d6e64d0a512a549;p=jalview.git diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 04851e8..7d50e6e 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -318,9 +318,11 @@ public class Preferences extends GPreferences { wsPrefs = new WsPreferences(); wsTab.add(wsPrefs, BorderLayout.CENTER); - slivkaPrefs = new SlivkaPreferences(); - slivkaTab.add(slivkaPrefs, BorderLayout.CENTER); } + + slivkaPrefs = new SlivkaPreferences(); + slivkaTab.add(slivkaPrefs, BorderLayout.CENTER); + int width = 500, height = 450; if (Platform.isAMacAndNotJS()) {