Skip to content

gracelang/grace-web-editor

Repository files navigation

Grace Educational Development Environment

A Simple Code Editor and Development Environment for Grace

Phase One:

  • Make the Run button the default button, so that it builds and runs - John
  • Ability to hide the file and console drawerRuben
  • Ability to change the font size, background color, color scheme, default indent and other variables of the inbuilt editorRuben

Phase Two:

  • Get Stdin working
  • Renaming files (already implemented)
  • Group files into folders and download those folders
  • Simple refactoring like renaming variables
  • Re-indenting files - Andrew Black
  • Show documentation for standard dialect when using its features

Phase Three:

  • Integrate with github, so changes can be pulled and pushed.