ctrl + up arrow - not shift + up arrow - apologies: ctrl + up/down is so very useful that I now do it without thinking about the actual keys used,
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.