| 132 | {{{ |
| 133 | <style id="buttonStyle"> |
| 134 | <!-- Shift the text one pixel when pressed --> |
| 135 | <property key="Button.textShiftOffset" type="integer" value="1"/> |
| 136 | <insets top="1" left="1" right="1" bottom="1"/> |
| 137 | |
| 138 | <state value="ENABLED"> |
| 139 | <imagePainter method="buttonBackground" path="resources/btn_enabled.png" |
| 140 | sourceInsets="2 1 1 2"/> |
| 141 | </state> |
| 142 | <state value="DISABLED"> |
| 143 | <imagePainter method="buttonBackground" path="resources/btn_disabled.png" |
| 144 | sourceInsets="2 1 1 2"/> |
| 145 | </state> |
| 146 | <state value="PRESSED"> |
| 147 | <imagePainter method="buttonBackground" path="resources/btn_roll.png" |
| 148 | sourceInsets="2 1 1 2"/> |
| 149 | </state> |
| 150 | </style> |
| 151 | <!-- Bind buttonStyle to all JButtons --> |
| 152 | <bind style="buttonStyle" type="region" key="button"/> |
| 153 | }}} |
| 154 | |