Workaround/suggestion: use F3 instead of Ctrl+F.