public void setShowHeader(String boolVal) {
m_showHeader = Boolean.valueOf(boolVal);
}
@Override
public void selectionChanged(SelectionContext selectionContext) {
<BUG>synchronized (m_currentHudDisplayLock) {
if (m_currentHudDisplay != null) {
m_currentHudDisplay.setVertexSelectionCount(selectionContext.getSelectedVertexRefs().size());

m_currentHudDisplay.setEdgeSelectionCount(selectionContext.getSelectedEdgeRefs().size());

}
}</BUG>
if(m_panBtn != null && !m_panBtn.getStyleName().equals("toolbar-button down")){

public void setShowHeader(String boolVal) {
m_showHeader = Boolean.valueOf(boolVal);
}
@Override
public void selectionChanged(SelectionContext selectionContext) {
m_hudDisplay.setVertexSelectionCount(selectionContext.getSelectedVertexRefs().size());
m_hudDisplay.setEdgeSelectionCount(selectionContext.getSelectedEdgeRefs().size());
if(m_panBtn != null && !m_panBtn.getStyleName().equals("toolbar-button down")){
