Let's finalize the shortcuts! If I were to give a PR I would give shortcuts as I'd like

Good, but it shouldn't be something non-standard but rather something that other editors use too.


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