protected void publish() {
   server.publish(editor.toPlainText());
 }