(message: Element | string, extraButtons?: Element)
| 35 | } |
| 36 | |
| 37 | function createMessageBox(message: Element | string, extraButtons?: Element): void { |
| 38 | $optional('#rgh-bisect-dialog')?.remove(); |
| 39 | document.body.append( |
| 40 | <div id="rgh-bisect-dialog" className="Box p-3 tmp-p-3"> |
| 41 | <p>{message}</p> |
| 42 | <div className="d-flex flex-justify-between"> |
| 43 | <button type="button" className="btn" onClick={onEndButtonClick}>Exit</button> |
| 44 | {extraButtons} |
| 45 | </div> |
| 46 | </div>, |
| 47 | ); |
| 48 | } |
| 49 | |
| 50 | async function hideMessage(): Promise<void> { |
| 51 | if (!(await state.get())) { |
no test coverage detected