OpenGL 3.0 render options -> Shader manager <img width="500" alt="Bildschirmfoto 2019-05-13 um 00 50 02" src="https://user-images.githubusercontent.com/454817/57588746-21033000-7519-11e9-8d7b-a493fdc43ab6.png">
OpenGL 3.0 render options -> Shader manager