From 04eabef22e7b86ae184ddca7de3752b4fad0c2ff Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Tue, 15 Jun 2004 10:55:40 +0000
Subject: [PATCH] Don't reset theme on language change.

---
 ChangeLog | 1 +
 main.php  | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 11a13e2f6e..6147cc21d7 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -12,6 +12,7 @@ $Source$
       #971703).
     * main.php: Possible undefined variable.
     * queryframe.php: Do not show <hr /> when no logo is shown.
+    * main.php: Don't reset theme on language change.
 
 2004-06-09 Alexander M. Turek  <me@derrabus.de>
     * libraries/config_import.lib.php: The default settings should be merged.
diff --git a/main.php b/main.php
index 29f7ea6b0b..4ee7e548fe 100644
--- a/main.php
+++ b/main.php
@@ -529,7 +529,6 @@ if (empty($cfg['Lang'])) {
             <form method="post" action="index.php" target="_parent">
                 <input type="hidden" name="convcharset" value="<?php echo $convcharset; ?>" />
                 <input type="hidden" name="server" value="<?php echo $server; ?>" />
-                <input type="hidden" name="set_theme" value="<?php echo $theme; ?>" />
                 Language <a href="./translators.html" target="documentation"><?php
                 if ($cfg['ReplaceHelpImg']){
                     echo '<img src="' . $pmaThemeImage . 'b_info.png" border="0" width="11" height="11" alt="Info" hspace="1" vspace="1" />';