Changeset 9775

Timestamp:

07/24/07 10:34:39 (18 months ago)

Author:

bill

Message:

Turn off sounds by default. Refs #2550.

Files:

• util/trunk/doh/runner.html (modified) (1 diff)

util/trunk/doh/runner.html

@@ -200 +200 @@
                                         <img src="small_logo.png" height="40" style="margin: 0px 5px 0px 5px; float: right;">
                                         <span style="margin: 10px 5px 0px 5px; float: right;">
-                                                <input type="checkbox" id="audio" name="audio" checked>
+                                                <input type="checkbox" id="audio" name="audio">
                                                 <label for="audio">sounds?</label>
                                         </span>