(GLUI) fixes segfault when selecting a video filter.