editor colors change depending on the language between python, glsl and html
refactored navigation gui code