(GLUI) Fix disp_set_label
Merge pull request #970 from lakkatv/glui

(GLUI) Fix disp_set_label