Closed epsilon-phase closed 8 years ago
Now having a consistent editor is nice, but it would be preferable for those with different tastes in colors, fonts, minor behaviors, etc... to be able to use a configuration file to set some of these things persistently.
Well now it uses GetPot
Now having a consistent editor is nice, but it would be preferable for those with different tastes in colors, fonts, minor behaviors, etc... to be able to use a configuration file to set some of these things persistently.