71727374757677
record(new InsertScriptElement(windowId, function)); return ""; } public void recordInsertChecklistElement(WindowId windowId, String fileName) { record(new InsertChecklistElement(windowId, fileName)); }