translated 'copy as html' notice in editor status

app/src/processing/app/Editor.java

@@ -1814,7 +1814,7 @@ public abstract class Editor extends JFrame implements RunnerListener {
 
   public void handleCopyAsHTML() {
     textarea.copyAsHTML();
-    statusNotice("Code formatted as HTML has been copied to the clipboard.");
+    statusNotice(Language.text("editor.status.copy_as_html"));
   }
 
 

build/shared/lib/languages/PDE.properties

@@ -312,6 +312,7 @@ editor.status.printing = Printing...
 editor.status.printing.done = Done printing.
 editor.status.printing.error = Error while printing.
 editor.status.printing.canceled = Printing canceled.
+editor.status.copy_as_html = Code formatted as HTML has been copied to the clipboard.
 
 # Footer buttons
 editor.footer.errors = Errors

build/shared/lib/languages/PDE_el.properties

@@ -303,6 +303,7 @@ editor.status.printing = Εκτύπωση...
 editor.status.printing.done = Ολοκλήρωση εκτύπωσης.
 editor.status.printing.error = Σφάλμα κατά την εκτύπωση.
 editor.status.printing.canceled = Ακύρωση εκτύπωσης.
+editor.status.copy_as_html = Ο κώδικας μορφοποιημένος ως HTML έχει αντιγραφεί στο πρόχειρο
 
 
 # ---------------------------------------