# This patch file was generated by NetBeans IDE
# This patch can be applied using context Tools: Apply Diff Patch action on respective folder.
# It uses platform neutral UTF-8 encoding.
# Above lines and this line are ignored by the patching process.
Index: moodle/lib/moodlelib.php
--- moodle/lib/moodlelib.php Base (1.960.2.78)
+++ moodle/lib/moodlelib.php Locally Modified (Based On 1.960.2.78)
@@ -6040,7 +6040,28 @@
     return (version_compare(phpversion(), $version) >= 0);
 }
 
+/**
+ * Checks to see if is the browser operating system matches the specified 
+ * brand.
+ * 
+ * Known brand: 'Windows','Linux','Macintosh','SGI','SunOS','HP-UX'
+ *
+ * @uses $_SERVER
+ * @param string $brand The operating system identifier being tested 
+ * @return bool true if the given brand below to the detected operating system
+ */
+ function check_browser_operating_system($brand) {
+    if (empty($_SERVER['HTTP_USER_AGENT'])) {
+        return false;
+    }
 
+    if (preg_match("/$brand/i", $_SERVER['HTTP_USER_AGENT'])) {
+        return true;
+    }
+     
+    return false;  
+ }
+
 /**
  * Checks to see if is a browser matches the specified
  * brand and is equal or better version.
Index: moodle/lib/weblib.php
--- moodle/lib/weblib.php Base (1.970.2.90)
+++ moodle/lib/weblib.php Locally Modified (Based On 1.970.2.90)
@@ -1178,7 +1178,9 @@
 
     //IE and Opera fire the onchange when ever you move into a dropdwown list with the keyboard. 
     //onfocus will call a function inside dropdown.js. It fixes this IE/Opera behavior.
-    if (check_browser_version('MSIE') || check_browser_version('Opera')) {
+    //Note: There is a bug on Opera+Linux with the javascript code (first mouse selection is inactive), 
+    //so we do not fix the Opera behavior on Linux
+    if (check_browser_version('MSIE') || (check_browser_version('Opera') && !check_browser_operating_system("Linux"))) {
         $output .= '<div>'.$selectlabel.$button.'<select id="'.$formid.'_jump" onfocus="initSelect(\''.$formid.'\','.$targetwindow.')" name="jump">'."\n";
     }
     //Other browser
