(GLUI) Fix disp_set_label