else gradPanel.setEnabled(true);
else { gradPanel.setEnabled(true); modeBar.setEnabled(true); }
            public void nodeSelected(SemanticTypeTree.TreeNode node)            {                if(!(node instanceof SemanticTypeTree.ElementNode))                {                    gradPanel.setEnabled(false);                }                else gradPanel.setEnabled(true);            }