Removes "find next", "find previous" options from Nav-edit dropdown options #1768

catarak merged 3 commits intoprocessing:developprocessing/p5.js-web-editor:developfrom

satyasaibhushan:remove_find_next_optionssatyasaibhushan/p5.js-web-editor:remove_find_next_optionsCopy head branch name to clipboard