public String getTopWindowName() {
if (runtime == null || runtime.getTopWindowId() == null) return null;
return runtime.getTopWindowId().getTitle();
}
public void insertChecklist(String name) {
recorder.recordInsertChecklistElement(runtime.getTopWindowId(), name);
}
public void recordShowChecklist(String fileName) {
recorder.recordShowChecklistElement(runtime.getTopWindowId(), fileName);
}
public String insertScript(String function) {
WindowId topWindowId = runtime.getTopWindowId();
runtime.insertScript(function);
String s = recorder.recordInsertScriptElement(topWindowId, function);
return s;
}
