diff -r 000000000000 -r d08769933940 java/sql-vyuka/web/klavesoveZkratky.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/java/sql-vyuka/web/klavesoveZkratky.js	Fri May 29 01:31:01 2009 +0200
@@ -0,0 +1,30 @@
+/** Klávesové zkratky pro celou stránku */
+
+var isCtrl = false;
+
+document.onkeyup = function(e) {
+    if(e.which == 17) {
+        isCtrl = false;
+    }
+}
+
+document.onkeydown = function(e) {
+    if(e.which == 17) {
+        isCtrl = true;
+    }
+
+    if (isCtrl) {
+        if (e.which == 13) {
+            /** ctrl+enter → vykonáme SQL */
+            ajaxVykonatSQL();
+            return false;
+        } else if (e.which == 72) {
+            /** ctrl+h → uobrazíme historii */
+            ajaxZobrazitHistorii();
+            return false;
+        }
+        return true;
+    } else {
+        return true;
+    }
+}
\ No newline at end of file