I know it's mentioned in issue #3630. But can you also add the other two navigational keys,  DOM_VK_PAGE_UP and DOM_VK_PAGE_DOWN, that CodeHintList handles to switch selection? We also want to dismiss the hint list when these two keys are used for selecting text in the editor.