Skip to content

Commit 6f377ef

Browse files
authored
Merge pull request #3015 from drgrice1/pgeditor-rerender-after-perltidy-failure
Re-render a problem in the PG problem editor after a perltidy failure.
2 parents 519f6c0 + cbb1769 commit 6f377ef

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

htdocs/js/PGProblemEditor/pgproblemeditor.js

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -242,11 +242,13 @@
242242
}
243243
if (request_object.pgCode === data.result_data.tidiedPGCode) {
244244
showMessage('There were no changes to the code.', true);
245+
if (!(renderArea.firstChild instanceof HTMLIFrameElement)) render();
245246
} else {
246247
if (webworkConfig?.pgCodeMirror) webworkConfig.pgCodeMirror.source = data.result_data.tidiedPGCode;
247248
else document.getElementById('problemContents').value = data.result_data.tidiedPGCode;
248249
saveTempFile();
249250
showMessage('Successfully perltidied code.', true);
251+
if (!(renderArea.firstChild instanceof HTMLIFrameElement)) render();
250252
}
251253
})
252254
.catch((err) => showMessage(`Error: ${err?.message ?? err}`));

0 commit comments

Comments
 (0)