mirror of
https://github.com/mozilla/gecko-dev.git
synced 2024-12-02 01:48:05 +00:00
13 lines
320 B
HTML
13 lines
320 B
HTML
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
|
|
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
|
|
<html>
|
|
<body>
|
|
<select id="filter_by" size="12"></select>
|
|
|
|
<script language='javascript'>
|
|
document.body.offsetWidth;
|
|
document.getElementById("filter_by").disabled = true;
|
|
</script>
|
|
</body>
|
|
</html>
|