(double width)
| 193 | } |
| 194 | |
| 195 | public void setWidth(double width) { |
| 196 | if(width < MIN_WIDTH) { |
| 197 | width = MIN_WIDTH; |
| 198 | } |
| 199 | this.container.setMinWidth(width); |
| 200 | this.container.prefWidth(width); |
| 201 | this.arrowText.prefWidth(width); |
| 202 | this.arrowTextField.setPrefWidth(width); |
| 203 | this.arrowTextField.selectAll(); |
| 204 | this.arrowTextField.deselect(); |
| 205 | } |
| 206 | |
| 207 | public void showLabel(boolean show) { |
| 208 | if(!show) { |