From f1abd4dd938fed7583f80b23e79842b68ad29319 Mon Sep 17 00:00:00 2001 From: Pierre Habouzit Date: Fri, 12 Sep 2003 07:02:15 +0000 Subject: [PATCH] bugfixes, layout --- philter/philter/include/form_filter.inc.php | 2 +- philter/philter/include/plugin_header.inc.php | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/philter/philter/include/form_filter.inc.php b/philter/philter/include/form_filter.inc.php index fdecc4e..8f5bd9b 100644 --- a/philter/philter/include/form_filter.inc.php +++ b/philter/philter/include/form_filter.inc.php @@ -87,7 +87,7 @@ i18n('filter_help'); - +

diff --git a/philter/philter/include/plugin_header.inc.php b/philter/philter/include/plugin_header.inc.php index 9771eaa..96dad0f 100644 --- a/philter/philter/include/plugin_header.inc.php +++ b/philter/philter/include/plugin_header.inc.php @@ -36,6 +36,7 @@ class HdrPlugin extends MatchPlugin { hdr_s.options[9] = new Option('<"._i18n('2_daemon').">',9,false,data[1]==9); hdr_s.selectIndex = data[1]; + Node.appendChild(document.createTextNode(' ')); var op_s = document.createElement('select'); op_s.setAttribute('name', Node.name+'[2]'); Node.appendChild(op_s); @@ -50,9 +51,11 @@ class HdrPlugin extends MatchPlugin { op_s.options[7] = new Option(' < ',7,false,data[2]==7); op_s.selectIndex = data[2]; + Node.appendChild(document.createTextNode(' ')); var txt_i = document.createElement('input'); txt_i.setAttribute('type','text'); txt_i.setAttribute('name', Node.name+'[3]'); + txt_i.setAttribute('value', data[3]); Node.appendChild(txt_i); }"; } -- 2.1.4