Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

New key bindings for commands #17

Merged
merged 1 commit into from
Oct 13, 2014
Merged

New key bindings for commands #17

merged 1 commit into from
Oct 13, 2014

Commits on Oct 11, 2014

  1. New key bindings for commands 

    Existing Ctrl+Shift+I and Ctrl+Shift+D key binding run with conflict
with commands with the same keybings from the Eclipse Platform and other
plugins.

This patch proposes new keybindings:
  - Select All Occurrences: Alt+F3 (Win, Linux) / Ctrl+Cmd+G (Mac)
  - Select Next Occurrence: Alt+J (Win, Linux) / Ctrl+G (Mac)
    @kaloyan-raev
    kaloyan-raev committed Oct 11, 2014
    Configuration menu
    Copy the full SHA
    8c5b1e4 View commit details
    Browse the repository at this point in the history