UI defaults: removed optional "pressed " from InputMap dumps (to make it easier to read)

This commit is contained in:
Karl Tauber
2020-02-18 22:29:03 +01:00
parent b63cd241d2
commit 9d1ed241b9
10 changed files with 5978 additions and 5977 deletions

View File

@@ -314,7 +314,8 @@ public class UIDefaultsDump
} );
for( KeyStroke keyStroke : keys ) {
Object value = inputMap.get( keyStroke );
out.printf( "%n%s%-30s %s", indent, keyStroke, value );
String strKeyStroke = keyStroke.toString().replace( "pressed ", "" );
out.printf( "%n%s%-20s %s", indent, strKeyStroke, value );
}
}