diff options
author | Andrew Dolgov <[email protected]> | 2008-05-16 07:05:12 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2008-05-16 07:05:12 +0100 |
commit | 746dcf42995b4dea9da7036386a0649b38c4e095 (patch) | |
tree | 1ddec89043e09de54624d5a902ad1767fcd75370 /prefs.php | |
parent | 85ef21180b828f383d73ae6daaa2dbb5947fafca (diff) |
hotkey support for prefs
Diffstat (limited to 'prefs.php')
-rw-r--r-- | prefs.php | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -69,12 +69,14 @@ <body> -<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"> - <div id="hotkey_help_overlay" style="display : none" onclick="Element.hide(this)"> + <?php rounded_table_start("hho"); ?> <?php include "help/4.php" ?> + <?php rounded_table_end(); ?> </div> +<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"> + <script type="text/javascript"> if (document.addEventListener) { document.addEventListener("DOMContentLoaded", init, null); |