OpenGL draw lines

“`
// Note: glLineWidth is deprecated in OpenGL core profile,
// for now we still use it if we got a compatibility profile,
// but for core profile, we are for now unable to display
// thick lines (TODO: develop a shader for that, painful…)
“`
好吧我笑死了