|
|
|
|
|
|
|
|
import com.google.gwt.json.client.JSONObject; |
|
|
import com.google.gwt.json.client.JSONObject; |
|
|
import com.google.gwt.json.client.JSONString; |
|
|
import com.google.gwt.json.client.JSONString; |
|
|
import com.google.gwt.json.client.JSONValue; |
|
|
import com.google.gwt.json.client.JSONValue; |
|
|
|
|
|
import com.google.gwt.user.client.DOM; |
|
|
import com.google.gwt.user.client.ui.Tree; |
|
|
import com.google.gwt.user.client.ui.Tree; |
|
|
import com.google.gwt.user.client.ui.TreeItem; |
|
|
import com.google.gwt.user.client.ui.TreeItem; |
|
|
import com.google.gwt.user.client.ui.TreeListener; |
|
|
import com.google.gwt.user.client.ui.TreeListener; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
private class UIDLBrowser extends Tree { |
|
|
private class UIDLBrowser extends Tree { |
|
|
public UIDLBrowser() { |
|
|
public UIDLBrowser() { |
|
|
|
|
|
|
|
|
|
|
|
DOM.setStyleAttribute(getElement(), "position", ""); |
|
|
|
|
|
|
|
|
final TreeItem root = new TreeItem(getTag()); |
|
|
final TreeItem root = new TreeItem(getTag()); |
|
|
addItem(root); |
|
|
addItem(root); |
|
|
root.addItem(""); |
|
|
root.addItem(""); |
|
|
|
|
|
|
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
}); |
|
|
}); |
|
|
|
|
|
|
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
|
|
|
protected boolean isKeyboardNavigationEnabled(TreeItem currentItem) { |
|
|
|
|
|
return false; |
|
|
|
|
|
} |
|
|
|
|
|
|
|
|
} |
|
|
} |
|
|
|
|
|
|
|
|
public TreeItem dir() { |
|
|
public TreeItem dir() { |