WikiEditor adds a <div class="wikiEditor-ui-right"></div>
element, but it doesn't seem to serve any purpose: nothing ever uses it. Does anyone know what it's for? I'm wondering if it should be exposed in the $.wikiEditor API so that other things can add content to a righthand side pane (e.g. for the upcoming realtime preview UI).
Topic on Extension talk:WikiEditor
@Samwilson it was originally for the WikiEditor ToC module: https://gerrit.wikimedia.org/r/plugins/gitiles/mediawiki/extensions/WikiEditor/+/refs/heads/REL1_19/modules/
the preview seems like a good candidate. I've also in the past considered using it for proofread, but never followed through on that.
@TheDJ: Oh great, thanks for the link! And yeah, I'm totally keeping ProofreadPage in mind with this, because it's basically the same UI (e.g. would be great to have resizability there too).