// properties action
mm.appendToGroup( nodeGroupName, new ShowNodeLabelAction( graphView, viewSettings.isShowNodeNames() ) );
mm.appendToGroup( nodeGroupName,
new FilterNodePropertiesAction( graphView, viewSettings.isFilterNodeProperties() ) );
mm.appendToGroup( nodeGroupName,
new ShowNodePropertyKeysAction( graphView, viewSettings.isShowNodePropertyKeys() ) );
mm.appendToGroup( nodeGroupName, new ShowNodeIdsAction( graphView, viewSettings.isShowNodeIds() ) );
// separator
{
mm.add( SEPARATOR );
}