I didn't find a suitable plugin to add these shortcuts. Editor/IDE like Editplus or Eclipse have such shortcut by default.

What the actual key is doesn't matter, as long as it's configurable.

The ctrl + scroll is wasted when used on zoom, nobody would use it for that, people rarely change the font size, but they do need to scroll quickly on a file that has many lines (Both Editplus and Eclipse use it that way).

So, my suggestions are:

• If you know a plugin that can do this please suggest.
• If there is no such plugin:
  • Provide the additional keys that don't exists yet.
  • Make those keys configurable, include ctrl + scroll.

When using a editor/IDE, actually such small features make a huge difference, because that's the actions are used repeatedly & frequently, many times a day. They are more important than a fashion feature from my view.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.