// Hide the current page (#page-body) and show the genilib editor.
// 'source' is a plaintext genilib source code string
// 'callback' is called when the user clicks ok or cancel with either the new source (if they clicked ok in edit mode) or null (if they clicked cancel or are in readonly mode).