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

♻️ rename getTitle to withChangeDot

Browse source
This commit is contained in:
ghalestrilo 2020-08-12 10:56:46 -03:00
parent 214f5d655a
commit 7402a6b07d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
client/modules/IDE/pages/MobileIDEView.jsx
View file

@ -39,7 +39,7 @@ import Dropdown from '../../../components/Dropdown';
const isUserOwner = ({ project, user }) => const isUserOwner = ({ project, user }) =>
project.owner && project.owner.id === user.id; project.owner && project.owner.id === user.id;
const getTitle = (title, unsavedChanges = false) => ( const withChangeDot = (title, unsavedChanges = false) => (
<span> <span>
{title} {title}
<span className="editor__unsaved-changes"> <span className="editor__unsaved-changes">
@ -110,7 +110,7 @@ const MobileIDEView = (props) => {
return ( return (
<Screen fullscreen> <Screen fullscreen>
<Header <Header
title={getTitle(project.name, unsavedChanges)} title={withChangeDot(project.name, unsavedChanges)}
subtitle={selectedFile.name} subtitle={selectedFile.name}
> >
<NavItem> <NavItem>