In the Resources tool there isn't a copy of the ckEditor when editing a HTML page.
tested in https://trunk-mysql.nightly.sakaiproject.org
Broken by adding a required jquery dependency into ckeditor.launch.js. Will either need to be written to not require the jquery on the
if ($(window).width() < 800) {
Or always ensure jquery is loaded.
In the Resources tool there isn't a copy of the ckEditor when editing a HTML page.