bibliothek.gui.dock.themes.basic.action
Interface BasicResourceInitializer
- All Known Implementing Classes:
- AbstractBasicHandler, BasicButtonHandler, BasicDropDownButtonHandler, BasicHandler, BasicMenuHandler, BasicSelectableHandler, BasicSelectableHandler.Check, BasicSelectableHandler.Radio
public interface BasicResourceInitializer
A BasicResourceInitializer
is a helper class used by a BasicButtonModel
to
lazily initialize resources.
- Author:
- Benjamin Sigg
ensureBorder
void ensureBorder(BasicButtonModel model,
java.lang.String key)
- Ensures that the
BorderModifier
with the specified key is installed
and ready to be accessed through BasicButtonModel.getBorder(String)
;
- Parameters:
model
- the caller of this initializerkey
- the key of the border to check