From 9147ee571be0f83735e85a286ea0d3f233014ec5 Mon Sep 17 00:00:00 2001 From: "helmut.neemann" Date: Thu, 19 May 2016 08:06:15 +0200 Subject: [PATCH] if local language is english the IEEE shapes are the default --- src/main/java/de/neemann/digital/core/element/Keys.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/de/neemann/digital/core/element/Keys.java b/src/main/java/de/neemann/digital/core/element/Keys.java index 945e6e4d9..db7b1b072 100644 --- a/src/main/java/de/neemann/digital/core/element/Keys.java +++ b/src/main/java/de/neemann/digital/core/element/Keys.java @@ -199,7 +199,7 @@ public final class Keys { * shape setting */ public static final Key SETTINGS_IEEE_SHAPES - = new Key<>("IEEEShapes", !Locale.getDefault().getCountry().equals("DE")); + = new Key<>("IEEEShapes", Locale.getDefault().getLanguage().equals(Locale.US.getLanguage())); /** * output format for numbers