(String path)
| 279 | String path; // if not loaded, this is non-null |
| 280 | |
| 281 | Record(String path) { |
| 282 | this.path = path; |
| 283 | } |
| 284 | |
| 285 | Record(Editor editor) { |
| 286 | this(editor.getSketch().getMainPath()); |
nothing calls this directly
no test coverage detected