()
| 259 | } |
| 260 | |
| 261 | private void getSettings() { |
| 262 | String prefs = Prefs.get(OPTIONS, "Lines,Cyan,-"); |
| 263 | //IJ.log("options: "+prefs); |
| 264 | String[] options = Tools.split(prefs, ","); |
| 265 | if (options.length>=3) { |
| 266 | type = options[0]; |
| 267 | if ("None".equals(type)) |
| 268 | type = types[LINES]; |
| 269 | areaPerPoint = saveAreaPerPoint; |
| 270 | color = options[1]; |
| 271 | bold = options[2].contains("bold"); |
| 272 | centered = options[2].contains("centered"); |
| 273 | randomOffset = options[2].contains("random"); |
| 274 | if (centered) |
| 275 | randomOffset = false; |
| 276 | } |
| 277 | } |
| 278 | |
| 279 | private void saveSettings() { |
| 280 | String options = type+","+color+","; |
no test coverage detected