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.