[cp-patches] FYI: UIManager fix

[Roman Kennke]

Here comes the UIManager fix that I prepared with the last two patches.

I noticed that the UIManager has an additional 'layer' of settings, I
call this user settings. You can access them via the put() and the
various getXXX() methods of UIManager. The thing is, if you set
something via UIManager.put(), this settings is managed independent of
the current L&F, this means you still have this setting after a L&F
change. Only if there is no user setting for a specific key, then this
key is looked up in the UI defaults. This also implies that the UI
classes must not use UIManager.getLookAndFeelDefaults().getXXX() but
instead UIManager.getXXX(), so that they can 'see' the user settings.

2005-11-15  Roman Kennke  <address@hidden>

        * javax/swing/UIManager.java
        (userUIDefaults): New field.
        (get(Object)): Respect the user UI settings.
        (get(Object,Locale)): Respect the user UI settings.
        (getBoolean(Object)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getBoolean(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getBorder(Object)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getBorder(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getColor(Object)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getColor(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getDimension(Object)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getDimension(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getFont(Object)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getFont(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getIcon(Object)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getIcon(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getInsets(Object)): Call get() instead of
        getLookAndFeelDefaults().getInsets() in order to respect the user UI
        settings.
        (getInsets(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().getInsets() in order to respect the user UI
        settings.
        (getInt(Object)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getInt(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getString(Object)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getString(Object,Locale)): Call get() instead of
        getLookAndFeelDefaults().get() in order to respect the user UI
        settings.
        (getUI(JComponent)): Respect the user UI settings.
        (put): Put key/value into user UI settings.

/Roman

patch.diff
Description: Text Data