Delete and rename files - Githubissues

Wyliodrin / WyliodrinSTUDIO

Wyliodrin STUDIO is a Chrome based IDE for software and hardware development in IoT and Embedded Linux

https://studio.wyliodrin.com

Other

91 stars 46 forks source link

Delete and rename files #109

Open ioanaculic opened 6 years ago

ioanaculic commented 6 years ago

Prerequisites

[x ] Put an X between the brackets on this line if you have done all of the following:
- Restarted Chrome (close all Chrome windows and apps)
- Have the latest Wyliodrin STUDIO version (10.9)

Description

Files in projects cannot be deleted or renamed.

Steps to Reproduce

Create a new application
Create a new file
Try to delete or rename the file

Details

The file gets deleted or renamed, but the interface does not refresh. Sometimes this happens for creating new files also.

Version

Wyliodrin STUDIO: 12.3 OS name: Linux, Ubuntu