(String[] strings)
| 135 | } |
| 136 | |
| 137 | int getIndex(String[] strings) { |
| 138 | for (int i=0; i<strings.length; i++) { |
| 139 | if (strings[i].equals(parameter)) |
| 140 | return i; |
| 141 | } |
| 142 | return 0; |
| 143 | } |
| 144 | |
| 145 | public void textValueChanged(TextEvent e) { |
| 146 | if (!defaultNBins.equals(nBinsField.getText())) |