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

🐛 make filename changes trigger editor change detection

Browse source
This commit is contained in:
ghalestrilo 2020-04-07 20:15:32 -03:00
parent 5df76c249a
commit 434cf6da21
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/actions/files.js
View file

@ -137,8 +137,8 @@ export function createFolder(formProps) {
export function updateFileName(id, name, updatedName = '') { export function updateFileName(id, name, updatedName = '') {
return (dispatch) => { return (dispatch) => {
// Notify Changes if necessary if (name !== updatedName) dispatch(setUnsavedChanges(true));
// Update the Filename
dispatch({ dispatch({
type: ActionTypes.UPDATE_FILE_NAME, type: ActionTypes.UPDATE_FILE_NAME,
id, id,