From ca08a101d1729e1574b3c4ea837d5df3983d26bc Mon Sep 17 00:00:00 2001 From: Matt Pass Date: Tue, 16 Jul 2013 17:32:02 +0100 Subject: [PATCH] Note on using CTRL+J to jump back as well --- lib/help.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/help.php b/lib/help.php index 19fba66..e63e97d 100644 --- a/lib/help.php +++ b/lib/help.php @@ -22,7 +22,7 @@ Ctrl + + Duplicate line(s)
Ctrl + - Remove line(s)
Ctrl + i Search for selected
- Ctrl + j Jump to definition
+ Ctrl + j Jump to definition / jump back
Esc Comment / uncomment
Tab Insert tab / indent selected
Ctrl + Alt + d Wrap with <div>