Better fix for ctrl+Enter for Windows.