Method setOpenHammerEditor

src/gui/Gui.java:311–313 · view source on GitHub ↗

(Runnable openHammerEditor)

Source from the content-addressed store, hash-verified

309	// }
310
311	public void setOpenHammerEditor(Runnable openHammerEditor) {
312	this.resultPanel.setOpenHammerEditor(openHammerEditor);
313	}
314
315	public void setLabelOutputPath(String outputPath) {
316	this.resultPanel.setLabelOutputPath(outputPath);

initResultMethod · 0.45

no outgoing calls

no test coverage detected