()
| 277 | } |
| 278 | |
| 279 | private void saveSettings() { |
| 280 | String options = type+","+color+","; |
| 281 | String options2 = (bold?"bold ":"")+(centered?"centered ":"")+(randomOffset?"random ":""); |
| 282 | if (options2.length()==0) |
| 283 | options2 = "-"; |
| 284 | Prefs.set(OPTIONS, options+options2); |
| 285 | saveAreaPerPoint = areaPerPoint; |
| 286 | } |
| 287 | |
| 288 | } |