set editor shortcuts - Githubissues

JosephLenton / PHP-Error

Better error reporting for PHP, and prettier too!

1.35k stars 151 forks source link

set editor shortcuts #70

Open JosephLenton opened 11 years ago

JosephLenton commented 11 years ago

These are keyboard shortcut changes.

The follow needs to be removed:

ctrl+r shortcut needs to be disabled, so it returns to be reload page; change to ctrl+h (which is used by Notepad++)

The following needs to be added:

ctrl+up, move up stack trace, displays that stack in the editor
ctrl+down, move down stack trace, displays that stack in the editor
ctrl+s, save changes and reload