[BLUEJ-1290] CSS files don't auto-save
In BlueJ, the editor can be used to edit CSS files. But unlike the source code editor, they don't auto-save when edited. This can cause confusion when working with JavaFX because the non-saved files don't take effect, but users don't realise that they need to (manually) save. We should either save on compile, or save after an edit time-out. There's no compile to be done on save, so no drawback to just saving say 2 seconds after last edit.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 5.0.0