From fc07bc237fa8193652857e44fb26fca6c4e0d29b Mon Sep 17 00:00:00 2001 From: BobHanson Date: Tue, 2 Jun 2020 14:15:42 -0500 Subject: [PATCH] Just a rearrangement --- src/jalview/gui/Preferences.java | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/jalview/gui/Preferences.java b/src/jalview/gui/Preferences.java index 38bc74c..61a4573 100755 --- a/src/jalview/gui/Preferences.java +++ b/src/jalview/gui/Preferences.java @@ -174,10 +174,14 @@ public class Preferences extends GPreferences public static final String SHOW_DBREFS_TOOLTIP = "SHOW_DBREFS_TOOLTIP"; + public static final String SHOW_FULLSCREEN = "SHOW_FULLSCREEN"; + public static final String SHOW_GROUP_CONSENSUS = "SHOW_GROUP_CONSENSUS"; public static final String SHOW_GROUP_CONSERVATION = "SHOW_GROUP_CONSERVATION"; + public static final String SHOW_IDENTITY = "SHOW_IDENTITY"; + public static final String SHOW_JVSUFFIX = "SHOW_JVSUFFIX"; public static final String SHOW_NPFEATS_TOOLTIP = "SHOW_NPFEATS_TOOLTIP"; @@ -239,10 +243,6 @@ public class Preferences extends GPreferences public static final List groupURLLinks; // not implemented - public static final String SHOW_IDENTITY = "SHOW_IDENTITY"; - - public static final String SHOW_FULLSCREEN = "SHOW_FULLSCREEN"; - public static final Dimension DEFAULT_STRUCTURE_DIMENSIONS = new Dimension( 600, 600); -- 1.7.10.2