From 6ff8dcffc1e8bc9039a0a82126b054aeedf3764c Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Fri, 21 Jun 2013 21:31:55 +0100 Subject: [PATCH] Clicking middle mouse on tab closes it Show shortcut on help screen too --- index.php | 2 +- lib/help.php | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/index.php b/index.php index 42b2c74..89ebc62 100644 --- a/index.php +++ b/index.php @@ -155,7 +155,7 @@ if (file_exists(dirname(__FILE__)."/plugins/jshint/jshint.js")) { '; + echo '
'; } ?>
+
diff --git a/lib/help.php b/lib/help.php index cf3a84d..aff66ac 100644 --- a/lib/help.php +++ b/lib/help.php @@ -62,7 +62,10 @@ Ctrl + Shift + s Save as...
Ctrl + Enter View webpage
Space Refocus on document
- Esc Cancel tasks
+ Esc Cancel tasks

+ +

On Tabs

+ Middle click Close tab