| | |
| | | <script type="text/javascript"> |
| | | // On double-click, reformat <div class="screen"> for easy copying. |
| | | $(document).ready(function() { |
| | | // Workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=116083 |
| | | if (navigator.userAgent.match(/Firefox/i)) { |
| | | $(".screen").wrap("<pre />"); |
| | | $(".programlisting").wrap("<pre />"); |
| | | } |
| | | $(".screen").attr("title", "Double-click [-] to flatten lines."); |
| | | $(".screen").prepend('<img src="../images/minus.png" class="toggle">'); |
| | | }); |
| | |
| | | <script type="text/javascript"> |
| | | // On double-click, reformat <div class="screen"> for easy copying. |
| | | $(document).ready(function() { |
| | | // Workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=116083 |
| | | if (navigator.userAgent.match(/Firefox/i)) { |
| | | $(".screen").wrap("<pre />"); |
| | | $(".programlisting").wrap("<pre />"); |
| | | } |
| | | $(".screen").attr("title", "Double-click [-] to flatten lines."); |
| | | $(".screen").prepend('<img src="./images/minus.png" class="toggle">'); |
| | | }); |