Added method to GraphArea to show/hide vertex labels