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 drawer– Ruben -
Ability to change the font size, background color, color scheme, default indent and other variables of the inbuilt editor– Ruben
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.