package org.jboss.as.console.client.widgets.tree;

import com.google.gwt.user.client.ui.TreeItem;

public class GroupItem extends TreeItem {

    public GroupItem(String title) {
        super();

        setText(title);
        getElement().setAttribute("style", "cursor:pointer;");
    }

    @Override
    public void setSelected(boolean selected) {
        super.setSelected(selected);
    }
}

@@ -135,16 +135,80 @@
 Item %7B%0A%0A
+    private final static String ID_PREFIX = %22nav_group_item_%22;%0A%0A
     publ
@@ -278,16 +278,95 @@
 title);%0A
+        getElement().setId(ID_PREFIX + title.replace(' ', '_').toLowerCase());%0A
         

Add IDs for group navigation items