And the winner is... Qt/Win!With v13, selecting text in a document only works with the mouse, but not with the keyboard (i.e. pressing SHIFT). Ctrl+Shift+cursor, Ctrl+End, Ctrl+Home etc. do not work. Short-cuts do not work (including access to the menu with ALT+...).
Nicolás
