added TexConstants back to GUI