r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

👌 rename last menu option to 'Original Editor'

Browse source
This commit is contained in:
ghalestrilo 2020-07-24 17:45:40 -03:00
parent f7d06319e4
commit 77a40a9934
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
client/components/OverlayManager.jsx
View file

@ -30,7 +30,7 @@ const OverlayManager = ({ overlay, hideOverlay }) => {
{ icon: PreferencesIcon, title: 'Examples', href: '/mobile/examples' }, { icon: PreferencesIcon, title: 'Examples', href: '/mobile/examples' },
{ {
icon: PreferencesIcon, icon: PreferencesIcon,
title: 'Original View', title: 'Original Editor',
href: '/mobile/preferences', href: '/mobile/preferences',
}, },
]; ];