private void keyTypedOrPressed()

in src/main/java/org/jetbrains/plugins/spotbugs/gui/tree/view/QuickSearch.java [225:256]


	private void keyTypedOrPressed(@NotNull final KeyEvent e) {
		if ((isActivationKey(e) || _searchActivated) && !isDeactivationKey(e)) {
			String searchingText = "";
			if (e.getID() == KeyEvent.KEY_TYPED) {
				if ((e.getModifiers() & Toolkit.getDefaultToolkit().getMenuShortcutKeyMask()) != 0) { // alt mask
					return;
				}
				if (e.isAltDown()) {
					return;
				}

				searchingText = String.valueOf(e.getKeyChar());
			}

			if (_popup == null) {
				showPopup(searchingText);
			}

			if (e.getKeyCode() != KeyEvent.VK_ENTER) {
				_popup.processKeyEvent(e);
				e.consume();
			}
		} else if (isDeactivationKey(e)) {
			hidePopup();
			IdeFocusManager.findInstance().doWhenFocusSettlesDown(new Runnable() {
				@Override
				public void run() {
					IdeFocusManager.findInstance().requestFocus(_owner, true);
				}
			});
		}
	}