appendPre(...) function is used in the Javascript Sources but never defined

[MumblingFumbler]

Summary

appendPre(...) function is used in the Javascript Sources but never defined
TODO
See: https://github.com/googleworkspace/browser-samples/blob/main/apps-script/execute/index.js

Expected Behavior

Sample URL:
Description:

Actual Behavior

Steps to Reproduce the Problem

[PierrickVoulet]

@MumblingFumbler Thanks for reporting! Could you give it a try with the following and let us know if it behaves as expected:

function appendPre(message) {
    var pre = document.getElementById('content');
    var textContent = document.createTextNode(message + '\n');
    pre.appendChild(textContent);
  }