diff options
author | Andrew Dolgov <[email protected]> | 2008-05-16 02:38:32 +0100 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2008-05-16 02:38:32 +0100 |
commit | 93f66472ef7571c0ed494a92c12dccff03dcfbf5 (patch) | |
tree | 86048c22739034ef8fac9153b84fa828875aa8ca /prefs.php | |
parent | 238eff0165cd80b3915d6fc53b4ad8bc866e03dc (diff) |
misc fixes, rework hotkeys code placement
Diffstat (limited to 'prefs.php')
-rw-r--r-- | prefs.php | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -71,6 +71,10 @@ <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 include "help/4.php" ?> +</div> + <script type="text/javascript"> if (document.addEventListener) { document.addEventListener("DOMContentLoaded", init, null); |