}-*/;
private void showAutoComplete(String optionString, final com.google.gwt.dom.client.Element element, final int phraseLength, int x, int y) {
final String[] options = optionString.split(",");
ScrollPanel scrollPanel = (ScrollPanel)autoCompletePanel.getWidget();
VerticalPanel optionHolderPanel = (VerticalPanel)scrollPanel.getWidget();
optionHolderPanel.clear();
for (int i = 0, len = options.length; i < len; i++) {
final Anchor option = getOption(options[i]);
final int optionsNum = i;
optionHolderPanel.add(option);
option.addClickHandler(new ClickHandler(){