Customize Navigation Bar through editor

Hello,

I am working on https://canalsrealty.com/

This theme requires me to customize the Navigation Bar through the editor. I am trying to change the names of the Tabs along the top.

I found this code under header.php

<li<?php if ( is_page(‘Buying’) ) { echo ‘ id=”current”‘; } ?>>
/?page_id=7″>
Buying

I tried replacing, “Buying” with my desired name and that did not work. Any suggestions on how to get this done are much appreciated.