Reload the current sketch. Used to update the text area when an external editor is in use.
()
| 222 | * an external editor is in use. |
| 223 | */ |
| 224 | public void reload() { |
| 225 | // set current to null so that the tab gets updated |
| 226 | // http://dev.processing.org/bugs/show_bug.cgi?id=515 |
| 227 | current = null; |
| 228 | // nuke previous files and settings |
| 229 | load(); |
| 230 | } |
| 231 | |
| 232 | |
| 233 | /** |
no test coverage detected