X-Git-Url: http://git.polytechnique.org/?a=blobdiff_plain;f=philter%2Fphilter%2Finclude%2Fplugin_header.inc.php;h=5112b9ea571c2f20409d862ae5bda6198ff8031a;hb=ca0523711dc4ec02f2effb2ccfd3f6b176a325d0;hp=e4294e1cdf6db021fea43542d7c308c4d5bff167;hpb=975d4fdb2af32a6ec38d966fba0fd894e239c4c6;p=old-projects.git

diff --git a/philter/philter/include/plugin_header.inc.php b/philter/philter/include/plugin_header.inc.php
index e4294e1..5112b9e 100644
--- a/philter/philter/include/plugin_header.inc.php
+++ b/philter/philter/include/plugin_header.inc.php
@@ -47,10 +47,6 @@ function(Node, data) {
     op_s.options[1] = new Option('$_2_not_contains',1,false,data[2]==1);
     op_s.options[2] = new Option(' = ',2,false,data[2]==2);
     op_s.options[3] = new Option(' != ',3,false,data[2]==3);
-    op_s.options[4] = new Option(' >= ',4,false,data[2]==4);
-    op_s.options[5] = new Option(' > ',5,false,data[2]==5);
-    op_s.options[6] = new Option(' <= ',6,false,data[2]==6);
-    op_s.options[7] = new Option(' < ',7,false,data[2]==7);
     op_s.selectIndex = data[2];
 
     Node.appendChild(document.createTextNode(' '));
@@ -62,6 +58,27 @@ function(Node, data) {
 }
 EOF;
     }
+    
+    function to_string($_data) {
+        switch($_data[1]) {
+            case 0: $res = '^TO';                 break;
+            case 1: $res = '^Subject:';           break;
+            case 2: $res = '^From:';              break;
+            case 3: $res = '^To:';                break;
+            case 4: $res = '^Cc:';                break;
+            case 5: $res = '^Reply-To:';          break;
+            case 6: $res = '^Organization:';      break;
+            case 7: $res = '^List-Id:';           break;
+            case 8: $res = '^X-Mailing-List:';    break;
+        }
+        switch($_data[2]) {
+            case 0: $res = "* $res.*{$_data[3]}\n";    break;
+            case 1: $res = "* !$res.*{$_data[3]}\n";   break;
+            case 2: $res = "* $res {$_data[3]}$\n";    break;
+            case 3: $res = "* !$res {$_data[3]}$\n";   break;
+        }
+        return $res;
+    }
 }
 
 /********************************************************************************