F5 keys show the side panel : should refresh the page instead

vmware-archive / scripted

The Scripted code editor

Eclipse Public License 1.0

1.56k stars 166 forks source link

F5 keys show the side panel : should refresh the page instead #288

Open cnicodeme opened 11 years ago

cnicodeme commented 11 years ago

F5 is not a good key shortcut to show the side panel since it's also used to refresh the page, something like ctrl+f5 or shift+f5 would be more appropriate (IMO ;)).