Method handleCopyAsHTML

app/src/processing/app/ui/Editor.java:1951–1954

Implements Edit → Copy as HTML.

()

   * Implements Edit → Copy as HTML.
   */
  public void handleCopyAsHTML() {
    textarea.copyAsHTML();
    statusNotice(Language.text("editor.status.copy_as_html"));
  }


  /**