UI defaults: changed dump format of characters and updated dumps on Windows

This commit is contained in:
Karl Tauber
2020-02-12 18:36:37 +01:00
parent 34834917b0
commit 78e3d781fc
21 changed files with 26 additions and 21 deletions

View File

@@ -155,10 +155,15 @@ public class UIDefaultsDump
if( value == null ||
value instanceof String ||
value instanceof Number ||
value instanceof Character ||
value instanceof Boolean )
{
out.print( value );
} else if( value instanceof Character ) {
char ch = ((Character)value).charValue();
if( ch >= ' ' && ch <= '~' )
out.printf( "'%c'", value );
else
out.printf( "'\\u%h'", (int) ch );
} else if( value.getClass().isArray() )
dumpArray( out, value );
else if( value instanceof List )