/** * Processes a key stroke in the context selector. * * @param e the verify event describing the key stroke */ private void contextSelectorProcessEvent(VerifyEvent e) { if (e.start == e.end && e.text != null && e.text.equals(fLineDelimiter)) { e.doit= false; insertSelectedContext(); } hideContextSelector(); }
/** * Processes a key stroke in the context selector. * * @param e the verify event describing the key stroke */ private void contextSelectorProcessEvent(VerifyEvent e) { if (e.start == e.end && e.text != null && e.text.equals(fLineDelimiter)) { e.doit= false; insertSelectedContext(); } hideContextSelector(); }