OpenGL editing of shaders