|
|
@ -140,12 +140,12 @@ public class ServerPredefinedStylePane extends BasicPane { |
|
|
|
if (style != null) { |
|
|
|
if (style != null) { |
|
|
|
PredefinedStyleConfig config = ServerPreferenceConfig.getInstance().getPreferenceStyleConfig(); |
|
|
|
PredefinedStyleConfig config = ServerPreferenceConfig.getInstance().getPreferenceStyleConfig(); |
|
|
|
config.setDefaultPredefinedStyle(style.getStyleName()); |
|
|
|
config.setDefaultPredefinedStyle(style.getStyleName()); |
|
|
|
Configurations.modify(new WorkerFacade(ServerPreferenceConfig.class) { |
|
|
|
// Configurations.modify(new WorkerFacade(ServerPreferenceConfig.class) {
|
|
|
|
@Override |
|
|
|
// @Override
|
|
|
|
public void run() { |
|
|
|
// public void run() {
|
|
|
|
ServerPreferenceConfig.getInstance().setPreferenceStyleConfig(config); |
|
|
|
// ServerPreferenceConfig.getInstance().setPreferenceStyleConfig(config);
|
|
|
|
} |
|
|
|
// }
|
|
|
|
}); |
|
|
|
// });
|
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
@ -207,12 +207,12 @@ public class ServerPredefinedStylePane extends BasicPane { |
|
|
|
private void removeStyle(String name) { |
|
|
|
private void removeStyle(String name) { |
|
|
|
PredefinedStyleConfig config = ServerPreferenceConfig.getInstance().getPreferenceStyleConfig(); |
|
|
|
PredefinedStyleConfig config = ServerPreferenceConfig.getInstance().getPreferenceStyleConfig(); |
|
|
|
config.removeStyle(name); |
|
|
|
config.removeStyle(name); |
|
|
|
Configurations.modify(new WorkerFacade(ServerPreferenceConfig.class) { |
|
|
|
// Configurations.modify(new WorkerFacade(ServerPreferenceConfig.class) {
|
|
|
|
@Override |
|
|
|
// @Override
|
|
|
|
public void run() { |
|
|
|
// public void run() {
|
|
|
|
ServerPreferenceConfig.getInstance().setPreferenceStyleConfig(config); |
|
|
|
// ServerPreferenceConfig.getInstance().setPreferenceStyleConfig(config);
|
|
|
|
} |
|
|
|
// }
|
|
|
|
}); |
|
|
|
// });
|
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
} |
|
|
|
} |
|
|
|