void (MouseEvent event) { if (!mySearch.getText().isEmpty()) { if (!myContext.isHoldingFilter()) { setHoldingFilter(true); } if (!mySearch.getTextEditor().isFocusOwner()) { mySearch.selectText(); } } }