From a8b1de3a30be925e058de43c4a58b79177172e3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Thu, 23 Oct 2003 12:55:10 +0000
Subject: [PATCH] Added ugly hack to allow switching export options in Opera
 (bug #828712).

---
 ChangeLog                         |  2 ++
 libraries/display_export.lib.php3 | 58 +++++++++++++++++--------------
 2 files changed, 33 insertions(+), 27 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index e8d05194b..e9076cf30 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -13,6 +13,8 @@ $Source$
       libraries/common.lib.php3, libraries/config_import.lib.php3: Allow to
       supress dates in SQL dump separately.
     * lang/add_message.sh: Fail if no message specified.
+    * libraries/display_export.lib.php3: Added ugly hack to allow switching
+      export options in Opera (bug #828712).
 
 2003-10-21 Marc Delisle  <lem9@users.sourceforge.net>
     * pdf_pages.php3: Patch 825672: show fields in Edit PDF scratchboard,
diff --git a/libraries/display_export.lib.php3 b/libraries/display_export.lib.php3
index d74c7c923..62fd82b1e 100644
--- a/libraries/display_export.lib.php3
+++ b/libraries/display_export.lib.php3
@@ -53,6 +53,35 @@ if (isset($sql_query)) {
 <?php } ?>
         getElement("none_options").style.display = 'none';
     }
+
+    function show_checked_option() {
+        hide_them_all();
+        if (getElement('radio_dump_latex').checked) {
+            getElement('latex_options').style.display = 'block';
+<?php if (!$hide_sql) { ?>
+        } else if (getElement('radio_dump_sql').checked) {
+            getElement('sql_options').style.display = 'block';
+<?php } ?>
+<?php if (!$hide_xml) { ?>
+        } else if (getElement('radio_dump_xml').checked) {
+            getElement('none_options').style.display = 'block';
+<?php } ?>
+        } else if (getElement('radio_dump_csv').checked) {
+            getElement('csv_options').style.display = 'block';
+        } else if (getElement('radio_dump_excel').checked) {
+            getElement('excel_options').style.display = 'block';
+        } else {
+            if (getElement('radio_dump_sql')) {
+                getElement('radio_dump_sql').checked = true;
+                getElement('sql_options').style.display = 'block';
+            } else if (getElement('radio_dump_csv')) {
+                getElement('radio_dump_csv').checked = true;
+                getElement('csv_options').style.display = 'block';
+            } else {
+                getElement('none_options').style.display = 'block';
+            }
+        }
+    }
     //-->
     </script>
 
@@ -60,7 +89,7 @@ if (isset($sql_query)) {
     <tr>
 
         <!-- Formats to export to -->
-        <td nowrap="nowrap" valign="top">
+        <td nowrap="nowrap" valign="top" onclick="if (typeof(window.opera) != 'undefined')setTimeout('show_checked_option()', 1); return true">
             <fieldset <?php echo ((!isset($multi_values) || isset($multi_values) && $multi_values == '') ? 'style="height: 220px;"' : ''); ?>>
             <legend><?php echo $strExport; ?></legend>
             <br>
@@ -376,32 +405,7 @@ if ($cfgRelation['mimework']) {
 
             <script type="text/javascript">
             <!--
-                hide_them_all();
-                if (getElement('radio_dump_latex').checked) {
-                    getElement('latex_options').style.display = 'block';
-<?php if (!$hide_sql) { ?>
-                } else if (getElement('radio_dump_sql').checked) {
-                    getElement('sql_options').style.display = 'block';
-<?php } ?>
-<?php if (!$hide_xml) { ?>
-                } else if (getElement('radio_dump_xml').checked) {
-                    getElement('none_options').style.display = 'block';
-<?php } ?>
-                } else if (getElement('radio_dump_csv').checked) {
-                    getElement('csv_options').style.display = 'block';
-                } else if (getElement('radio_dump_excel').checked) {
-                    getElement('excel_options').style.display = 'block';
-                } else {
-                    if (getElement('radio_dump_sql')) {
-                        getElement('radio_dump_sql').checked = true;
-                        getElement('sql_options').style.display = 'block';
-                    } else if (getElement('radio_dump_csv')) {
-                        getElement('radio_dump_csv').checked = true;
-                        getElement('csv_options').style.display = 'block';
-                    } else {
-                        getElement('none_options').style.display = 'block';
-                    }
-                }
+                show_checked_option();
             //-->
             </script>
         </td>