DasSourceBrowser dasSource;
+ private WsPreferences wsPrefs;
+
/**
* Creates a new Preferences object.
*/
frame.setContentPane(this);
dasSource = new DasSourceBrowser();
dasPanel.add(dasSource, BorderLayout.CENTER);
-
+ wsPrefs = new WsPreferences();
+ wsPanel.add(wsPrefs, BorderLayout.CENTER);
int width = 500, height = 420;
if (new jalview.util.Platform().isAMac())
{
showDbRefTooltip.setSelected(Cache.getDefault("SHOW_DBREFS_TOOLTIP",
true));
- for (int i = 0; i < 13; i++)
+ for (int i = ColourSchemeProperty.FIRST_COLOUR; i <= ColourSchemeProperty.LAST_COLOUR; i++)
{
colour.addItem(ColourSchemeProperty.getColourName(i));
}
.toString(padGaps.isSelected()));
dasSource.saveProperties(Cache.applicationProperties);
-
+ wsPrefs.updateWsMenuConfig(false);
Cache.saveProperties();
try
{
{
try
{
+ wsPrefs.updateWsMenuConfig(true);
frame.setClosed(true);
} catch (Exception ex)
{