This commit is contained in:
lukaseder 2017-08-28 16:24:24 +02:00
parent b2e81d227a
commit d2f72e98e6

View File

@ -203,7 +203,10 @@ public final class SettingsTools {
*/
public static final Settings clone(Settings settings) {
Settings result = (Settings) settings.clone();
result.renderFormatting = (RenderFormatting) result.renderFormatting.clone();
if (result.renderFormatting != null)
result.renderFormatting = (RenderFormatting) result.renderFormatting.clone();
return result;
}