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

add commit to hopefully prevent #195 from happening again

Browse source
This commit is contained in:
Cassie Tarakajian 2016-11-10 12:26:35 -05:00
parent b3ac90a4c6
commit c959aec6a9
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/modules/IDE/components/FileNode.jsx
View file

@ -167,7 +167,7 @@ export class FileNode extends React.Component {
if (window.confirm(`Are you sure you want to delete ${this.props.name}?`)) { if (window.confirm(`Are you sure you want to delete ${this.props.name}?`)) {
this.isDeleting = true; this.isDeleting = true;
this.props.resetSelectedFile(this.props.id); this.props.resetSelectedFile(this.props.id);
setTimeout(() => this.props.deleteFile(this.props.id, this.props.parentId), 0); setTimeout(() => this.props.deleteFile(this.props.id, this.props.parentId), 100);
} }
}} }}
> >