Well I guess I'll chime in and put in my non professional 10 cents lol.
Although I do see points in Janys's ideas and needs, I personally would rather see a more standard coloring scheme myself. If the code situations are basically the same things (such as the example above by J) then the color schemes should be the same. This would be "less" confusing to the novice is my opionion rather than more. If you have different color schemes for every little change of the same type of markup (such as HTML and HTML5 or CSS and CSS3) people will assume it's an entirely different language and not realize they are basically one and the same.
I would like to see different colors for different (completely different such as HTML, Javascript, PHP, etc.) but same like markup would be easier to be the same colors.
I truly do come from a "look it up and see how it's done" setup many times lol. I don't always remember code so if it's the same colors I'll get the basic ideas at least what language it is (HTML vs. PHP type thing). If HTML and HTML5 are 2 different colors, I'll assume I'm working on 2 different markup languages completely when in fact they are the same language just different versions of it. Hopefully that makes sense.
I would have to agree with J on the colors being more confusing in the end than helpful to your students Janys.
But... if we are still able to make customer coloring setups then that would be the best of both worlds right? Give us the same color scheme setup for like languages, and let us also decide to change one of them if we like? Keep one the default such as HTML and change some things in the HTML5 to customize it? If that's a possibility or what you're planning that would probably help both ways for us old forgetful brains and students and yet keeping it standardized for those that want same color schemes.
I have a question on this also. Will the update you're working on also allow us to "save" our custom settings? That to me would be much more important than what color scheme we are using. If we can save them after we've customized them, it won't matter what color things are because we can put it back how we want it after updates or reinstalls. Just a thought