| 114 | |
| 115 | // Add a message to the messages element. |
| 116 | function appendMessage(payload: MessagePayload) { |
| 117 | const messagesElement = document.querySelector('#messages')!; |
| 118 | const dataHeaderElement = document.createElement('h5'); |
| 119 | const dataElement = document.createElement('pre'); |
| 120 | dataElement.style.overflowX = 'hidden;'; |
| 121 | dataHeaderElement.textContent = 'Received message:'; |
| 122 | dataElement.textContent = JSON.stringify(payload, null, 2); |
| 123 | messagesElement.appendChild(dataHeaderElement); |
| 124 | messagesElement.appendChild(dataElement); |
| 125 | } |
| 126 | |
| 127 | // Clear the messages element of all children. |
| 128 | function clearMessages() { |