From 93f66472ef7571c0ed494a92c12dccff03dcfbf5 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@bah.spb.su>
Date: Fri, 16 May 2008 02:38:32 +0100
Subject: misc fixes, rework hotkeys code placement

---
 prefs.php | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'prefs.php')

diff --git a/prefs.php b/prefs.php
index d328beaf4..bf58aa3bd 100644
--- a/prefs.php
+++ b/prefs.php
@@ -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);
-- 
cgit v1.2.3