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.