Bug(?): Open a gretl console window and type something. Press shift+home, cursor goes to the beginning of the line. From the start of the line press shift+end: the whole line is selected. Ctrl+shift+arrows work as intended.