search

gracelang / grace-web-editor

A simple editor for Grace
GNU General Public License v3.0
2 stars 8 forks source link

Trash Directory #57

Open Dmitri-2 opened 7 years ago

Dmitri-2 commented 7 years ago

Adding a trash directory for files deleted. Directory at bottom of main file tree, using trash icon as it's name.