IDEA-99236 Bookmark view doesn't support F4 key to jump to source