600601602603604605606607608
private ElementMenuBar getNonVisualElementBar() { if (_nonVisualElementBar == null) { _nonVisualElementBar = new ElementMenuBar(this); } return _nonVisualElementBar; }