(boolean value)
| 463 | } |
| 464 | |
| 465 | private void setModified(boolean value) { |
| 466 | if (value != modified) { |
| 467 | modified = value; |
| 468 | // TODO: Improve decoupling |
| 469 | editor.getSketchController().calcModified(); |
| 470 | } |
| 471 | } |
| 472 | |
| 473 | public String getSelectedText() { |
| 474 | return textarea.getSelectedText(); |
no test coverage detected