#595: code editor added to page properties and widgets.