| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081 | 
							- <!doctype html>
 
- <html>
 
-   <head>
 
-     <meta charset="utf-8">
 
-     <title>CodeMirror: Sieve (RFC5228) mode</title>
 
-     <link rel="stylesheet" href="../../doc/docs.css">
 
-     <link rel="stylesheet" href="../../lib/codemirror.css">
 
-     <script src="../../lib/codemirror.js"></script>
 
-     <script src="sieve.js"></script>
 
-     <style>.CodeMirror {background: #f8f8f8;}</style>
 
-   </head>
 
-   <body>
 
-     <h1>CodeMirror: Sieve (RFC5228) mode</h1>
 
-     <form><textarea id="code" name="code">
 
- #
 
- # Example Sieve Filter
 
- # Declare any optional features or extension used by the script
 
- #
 
- require ["fileinto", "reject"];
 
- #
 
- # Reject any large messages (note that the four leading dots get
 
- # "stuffed" to three)
 
- #
 
- if size :over 1M
 
- {
 
-   reject text:
 
- Please do not send me large attachments.
 
- Put your file on a server and send me the URL.
 
- Thank you.
 
- .... Fred
 
- .
 
- ;
 
-   stop;
 
- }
 
- #
 
- # Handle messages from known mailing lists
 
- # Move messages from IETF filter discussion list to filter folder
 
- #
 
- if header :is "Sender" "owner-ietf-mta-filters@imc.org"
 
- {
 
-   fileinto "filter";  # move to "filter" folder
 
- }
 
- #
 
- # Keep all messages to or from people in my company
 
- #
 
- elsif address :domain :is ["From", "To"] "example.com"
 
- {
 
-   keep;               # keep in "In" folder
 
- }
 
- #
 
- # Try and catch unsolicited email.  If a message is not to me,
 
- # or it contains a subject known to be spam, file it away.
 
- #
 
- elsif anyof (not address :all :contains
 
-                ["To", "Cc", "Bcc"] "me@example.com",
 
-              header :matches "subject"
 
-                ["*make*money*fast*", "*university*dipl*mas*"])
 
- {
 
-   # If message header does not contain my address,
 
-   # it's from a list.
 
-   fileinto "spam";   # move to "spam" folder
 
- }
 
- else
 
- {
 
-   # Move all other (non-company) mail to "personal"
 
-   # folder.
 
-   fileinto "personal";
 
- }
 
- </textarea></form>
 
-     <script>
 
-       var editor = CodeMirror.fromTextArea(document.getElementById("code"), {});
 
-     </script>
 
-     <p><strong>MIME types defined:</strong> <code>application/sieve</code>.</p>
 
-   </body>
 
- </html>
 
 
  |