232233234235236237238239240241242
autocompleteProposals = null; FocusManager focusManager = editor.getFocusManager(); if (hadFocus && !focusManager.hasFocus()) { focusManager.focus(); } } @Override public void positionAndShow(AutocompleteProposals items) {