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..

var myBtn = document.createElement('BUTTON');
myBtn.innerHtml = "copy";
var modal = editor.Modal;
modal.append(myBtn);

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();