Fix missing translations in Nav#1493

catarak merged 2 commits intodevelopprocessing/p5.js-web-editor:developfrom

missing-translationsprocessing/p5.js-web-editor:missing-translationsCopy head branch name to clipboard