Wed, 31 Dec 2014 07:16:47 +0100
Revert simplistic fix pending revisit of Mozilla integration attempt.
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
2 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3 <html>
4 <body>
5 <select id="filter_by" size="12"></select>
7 <script language='javascript'>
8 document.body.offsetWidth;
9 document.getElementById("filter_by").disabled = true;
10 </script>
11 </body>
12 </html>