UIDefaultsKeysDump: exclude unused UI properties

This commit is contained in:
Karl Tauber
2024-02-05 11:33:25 +01:00
parent 8adb7e3021
commit 3d8eb9eb66
2 changed files with 14 additions and 12 deletions

View File

@@ -68,6 +68,20 @@ public class UIDefaultsKeysDump
collectKeys( FlatDarculaLaf.class.getName(), keys );
collectKeys( FlatTestLaf.class.getName(), keys );
// remove unused keys (defined in BasicLookAndFeel)
keys.remove( "Button.textIconGap" );
keys.remove( "Button.textShiftOffset" );
keys.remove( "CheckBox.textIconGap" );
keys.remove( "CheckBox.textShiftOffset" );
keys.remove( "RadioButton.textIconGap" );
keys.remove( "RadioButton.textShiftOffset" );
keys.remove( "TabbedPane.contentOpaque" );
keys.remove( "TabbedPane.selectedTabPadInsets" );
keys.remove( "TabbedPane.shadow" );
keys.remove( "TabbedPane.tabsOverlapBorder" );
keys.remove( "ToggleButton.textIconGap" );
keys.remove( "ToggleButton.textShiftOffset" );
// write key file
try( Writer fileWriter = new BufferedWriter( new OutputStreamWriter(
new FileOutputStream( keysFile ), StandardCharsets.UTF_8 ) ) )