diff --git a/src/static/js/pad_utils.js b/src/static/js/pad_utils.js index 8cc6efb1a..8a450d6fb 100644 --- a/src/static/js/pad_utils.js +++ b/src/static/js/pad_utils.js @@ -311,6 +311,9 @@ padutils.setupGlobalExceptionHandler = () => { } else { throw new Error(`unknown event: ${e.toString()}`); } + if (err.name != null && msg !== err.name && !msg.startsWith(`${err.name}: `)) { + msg = `${err.name}: ${msg}`; + } const errorId = randomString(20); let msgAlreadyVisible = false;