search

gracelang / grace-web-editor

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

Fixes File/Directory Loading Bug #51

Closed Dmitri-2 closed 7 years ago

Dmitri-2 commented 7 years ago

Fixes the loading process for files and directories so that they are loaded properly across all web browsers. Any files that were not visible in the IDE previously, but exist in localStorage, will now be properly loaded.