Searched refs:MARGIN_CHANGED_PROPERTY (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/
H A DAbstractButton.java90 public static final String MARGIN_CHANGED_PROPERTY = "margin"; field in class:AbstractButton
413 firePropertyChange(MARGIN_CHANGED_PROPERTY, old, m);

Completed in 52 milliseconds