From 1a96dac24668ec5e63c7e8203a623d8a6462332f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= <Talip-Baris.Metin@sophia.inria.fr>
Date: Tue, 16 Jun 2009 14:24:28 +0000
Subject: [PATCH] don't duplicate hidden field

---
 plekit/php/linetabs.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/plekit/php/linetabs.php b/plekit/php/linetabs.php
index 43d24e5..57af891 100644
--- a/plekit/php/linetabs.php
+++ b/plekit/php/linetabs.php
@@ -76,7 +76,8 @@ function plekit_linetabs ($tabs, $id=NULL) {
     if ( ! $values) $values = array();
     if ($url_values) $values = array_merge($values,$url_values);
     if ( $values ) foreach ($values as $key=>$value) {
-	print "<input type='hidden' name='$key' value='$value' />";
+      if ($key != "active_line_tab")
+        print "<input type='hidden' name='$key' value='$value' />";
     }
     print "<input type='hidden' name='active_line_tab' value='$label' />";
     if ($label == $active_line_tab) $tracer = "class='linetabs-submit active'";
-- 
2.47.0