From 3e0101470a0b6d41eac74c129f963a6ed0e69e2f Mon Sep 17 00:00:00 2001 From: gmungoc Date: Wed, 5 Nov 2014 16:04:10 +0000 Subject: [PATCH] JAL-674 Prefences tweaks incl help documentation for Structure tab --- help/html/features/preferences.html | 40 +++++++++++++++++++++++------------ resources/lang/Messages.properties | 2 +- src/jalview/jbgui/GPreferences.java | 8 +++---- 3 files changed, 32 insertions(+), 18 deletions(-) diff --git a/help/html/features/preferences.html b/help/html/features/preferences.html index 3e45043..1831c3e 100755 --- a/help/html/features/preferences.html +++ b/help/html/features/preferences.html @@ -26,7 +26,7 @@

Preferences

The preferences panel is opened from the Jalview Desktop’s Tools menu.

-

There are six tabs in the Preferences dialog box: +

There are eight tabs in the Preferences dialog box: