Appending a button inside the default (code view) modal.

This is not actually an issue. I would like to add a button inside the original code view modal, it's like zip download button that @artf added inside this plugin. Instead of modifying gjs export plugin, Is there any API option that I can achieve it in a few lines. Probably, something like this.. It could be done by cloning a new code mirror as below. But there will be two code editors inside GJS editor and I think it's a bit more work for just a single button. var codeViewer = editor.CodeManager.getViewer('CodeMirror').clone();