Ctrl+Shift+Enter (Execute Query) does not always work