|
@@ -64,26 +64,30 @@ public class Settings extends JPanel implements ServerListListener {
|
64
|
64
|
private final PrefsComponentFactory componentFactory;
|
65
|
65
|
/** Factory to use to produce identities. */
|
66
|
66
|
private final IdentityFactory identityFactory;
|
|
67
|
+ /** Preferences Manager to retrieve settings from. */
|
|
68
|
+ private final PreferencesManager preferencesManager;
|
67
|
69
|
|
68
|
70
|
/**
|
69
|
71
|
* Instantiates a new settings panel.
|
70
|
72
|
*
|
71
|
|
- * @param model Backing model
|
72
|
|
- * @param iconManager Manager to use to retrieve icons.
|
73
|
|
- * @param componentFactory Factory to use to produce preference components.
|
74
|
|
- * @param identityFactory Factory to use to produce identities.
|
|
73
|
+ * @param model Backing model
|
|
74
|
+ * @param iconManager Manager to use to retrieve icons.
|
|
75
|
+ * @param componentFactory Factory to use to produce preference components.
|
|
76
|
+ * @param identityFactory Factory to use to produce identities.
|
|
77
|
+ * @param preferencesManager Preferences Manager to retrieve settings from.
|
75
|
78
|
*/
|
76
|
79
|
@Inject
|
77
|
80
|
public Settings(
|
78
|
81
|
final ServerListModel model,
|
79
|
82
|
@GlobalConfig final IconManager iconManager,
|
80
|
83
|
final PrefsComponentFactory componentFactory,
|
81
|
|
- final IdentityFactory identityFactory) {
|
82
|
|
- super();
|
|
84
|
+ final IdentityFactory identityFactory,
|
|
85
|
+ final PreferencesManager preferencesManager) {
|
83
|
86
|
this.model = model;
|
84
|
87
|
this.iconManager = iconManager;
|
85
|
88
|
this.componentFactory = componentFactory;
|
86
|
89
|
this.identityFactory = identityFactory;
|
|
90
|
+ this.preferencesManager = preferencesManager;
|
87
|
91
|
addListeners();
|
88
|
92
|
border = UIManager.getBorder("TitledBorder.border");
|
89
|
93
|
setBorder(BorderFactory.createTitledBorder(border, "Network Settings"));
|
|
@@ -167,8 +171,7 @@ public class Settings extends JPanel implements ServerListListener {
|
167
|
171
|
*/
|
168
|
172
|
private void addSettings(final SettingsPanel settingsPanel,
|
169
|
173
|
final AggregateConfigProvider manager, final ConfigProvider identity) {
|
170
|
|
- settingsPanel.addOption(PreferencesManager.getPreferencesManager()
|
171
|
|
- .getServerSettings(manager, identity));
|
|
174
|
+ settingsPanel.addOption(preferencesManager.getServerSettings(manager, identity));
|
172
|
175
|
}
|
173
|
176
|
|
174
|
177
|
}
|