gracelang/grace-web-editor — pull request #3 by Claireee (2014-12-18 03:58:08+00:00)
Title: Add File Directory

File tree supports for file directory now. Before it only
worked for file. File and file directory can be under
the file tree directly, and they can be under another file
directory. The user can create new file directory by
clicking the New button. Two files or two directories can
have the same name as long as they are not under the same
file directory.