fdorg/flashdevelop — pull request #462 by Gama11 (2014-10-24 11:15:14+00:00)
Title: Results context menu improvements

- Add Ctrl+C shortcut to the results panel
- Add Delete shortcut to the results panel
- Disable results panel context menu items when unavailable
- Update the list after ClearIgnoredEntries() (seemed broken before)